References
- Mano , Morris M. 1982 . Computer System Architecture , Englewood Cliffs, New Jersey : Prentice-Hall . 07632
- Coolahan , J.E. May 1984 . The specification of timing requirements for real-time systems using timed Petri nets , May , College Park, , USA : University of Maryland . Ph.D. Dissertation
- Coolahan , J.E. and Roussopoulos , N . 1983 . Timing requirements for time-driven systems using augmented Petri nets . IEEE Trans. Software Eng , SE-9 Sept : 603 – 616 .
- Han , Y.H. . Performance evaluation of a digital system using a Petri net-like approach . Proc. Nat. Electron. Conf . Vol. 32 , Oct , pp. 166 – 172 . Hawaii : Kailua-Kona . Nat. Eng. Consortium
- Molloy , M.K. 1985 . Discrete time stochastic Petri nets . IEEE Trans. Software Eng , SE-11 Oct : 417 – 423 .
- Ramachandani , C. 1974 . Analysis of asynchronous concurrent systems by Petri nets , Cambridge, MA : M.I.T . project MAC, TR-120
- Ramamoorthy , C.V. and Ho , G.S . 1980 . Performance evaluation of asynchronous concurrent systems using Petri nets . IEEE Trans. Software Eng , SE-6 Sept : 440 – 449 .