Modeling a real-time multitasking system in a timed PQ net
Carl K. Chang, Y.-F. Chang, L. Yang, Ching‐Roung Chou, J.-J. Chen · IEEE Software · 1989
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.>