Modeling a real-time multitasking system in a timed PQ net

A system is described that integrates timed Petri nets and queueing networks to model complex, real-time systems. It includes a graphical modeling tool, called TPQN, a textual specification language, called TPQL, and a simulator, called TPQS. TPQN's capabilities are illustrated by a performance analysis of a real-time, multitasking scheduler that had been previously implemented on top of SunOS on a Sun-3 workstation. A simulation package has been developed for TPQN that allows the behavior of various complicated systems under a designated queueing network topology to be studied before the system is implemented.<
>