Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths

References

• Mano , Morris M. 1982 . Computer System Architecture , Englewood Cliffs, New Jersey : Prentice-Hall . 07632
   Google Scholar
• 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
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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
   Google Scholar
• Molloy , M.K. 1985 . Discrete time stochastic Petri nets . IEEE Trans. Software Eng , SE-11 Oct : 417 – 423 .
   Google Scholar
• Ramachandani , C. 1974 . Analysis of asynchronous concurrent systems by Petri nets , Cambridge, MA : M.I.T . project MAC, TR-120
   Google Scholar
• 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 .
   Web of Science ®Google Scholar