Efficient discrete-event simulation of colored petri nets

IEEE Transactions on Software Engineering

Volumn 22, Issue 9, 1996, Pages 629-639

  Gaeta, Rossano ^a  

^a Dipartimenlo di Information   (Italy)

Author keywords

Discrete event simulation; Efficient simulation algorithms; High level petri nets; Model symmetries; Stochastic well formed nets; Symbolic simulation

Indexed keywords

EID: 0009342508     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.541434     Document Type: Article

References (18)

1. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, "Stochastic Well-Formed Colored Nets for Symmetric Modeling Applications," IEEE Trans. Computers, vol. 42, no. 11, pp. 1,343 1,360, Nov. 1993.
2. High-Level Petri Nets: Theory and Application, K. Jensen and G. Rozenberg, eds. Springer Verlag, 1991.
3. G. Chiola, G. Franceschinis, and R. Gaeta, "A Symbolic Simulation Mechanism for Well-Formed Colored Petri Nets," Proc. 25th 5CS Arm. Simulation Symp., Orlando, Fla., Apr. 1992.
4. G. Chiola, "Simulation Framework for Timed and Stochastic Petri Nets," Int'l J. Computer Simulation, vol. 1, no. 2, pp. 153-168,1991.
5. C. Dutheillet and S. Haddad, "Conflict Sets in Coloured Petri Nets," Proc. Fifth Int'l Workshop Petri Nets and Performance Models, Toulouse, France, 1EEE/CS Press, Oct. 1993.
6. J.M. Hie and O. Rojas, "On Well-Formed Nets and Optimizations in Enabling Tests," Proc. '14th Int'l CoJ. Application and Theory of Petri Nets, Chicago, Springer Verlag, June 1993.
7. G. Chiola and A. Ferscha, "Distributed Simulation of Petri Nets," IEEE Parallel and Distributed Technology, vol. 1, no. 3, pp. 33-50, Aug. 1993.
8. D.M. Nicol and W. Mao, "Automated Parallelization of Timed Petri-Net Simulations," J. Parallel and Distributed Computing, vol. 29, no. 1, pp. 60-74, Aug. 1995.
9. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, "GreatSPN1.7: GRaphical Editor and Analyzer for Timed and Stochastic Fetri Nets," Performance Fvaluation, vol. 24, nos. 1 and 2, pp. 47-68, Nov. 1995.
10. T. Murata, "Petri Nets: Properties, Analysis, and Applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
11. G. Chiola, R. Gaeta, and M. Sereno, "A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Colored Petri Nets," Proc. Int'l Workshop MASCOTS '93, vol. 25 of Simulation Series, pp. 259-264, San Diego, Jan. 1993.
12. C. Anglano, S. Donatelli, and R. Gaeta, "Parallel Architectures with Regular Structure: A Case Study in Modeling Using SWN," Proc. Fifth Int'l Workshop Petri Nets und Performance Models, Toulouse, France, IEEE/CS Press, Oct. 1993.
13. C. Chiola, G. Franccschinis, and R. Gacta, "Modeling Symmetric Computer Architectures by Stochastic Well-Formed Coloured Nets," Proc. 15th Int'l Cunf. Application and Theory of Petri Nets, Zaragoza, Spain, Springer Verlag LNCS 815, June 1994.
14. G. Chiola, "Compiling Techniques for the Analysis of Stochastic Pelri Nets," Proc. Fourth Int'l Conf. Modeling Techniques and Tools for Computer Performance Evaluation, R. Puigjaner and D. Potier, eds., Palma de Mallorca, Spain. New York: Plenum Press, Sept. 1988.
15. L. Lamport, "A Fasl Mutual Exclusion Algorithm," ACM Trans. Computer Systems, vol. 5, no. 1, pp. 1-11, Feb. 1987.
16. G. Balbo, G. Chiola, S.C. Bruell, and P. Chen, "An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm," IEEE Trans. Parallel and Distributed Systems, vol. 3, no. 2, pp. 221-240, Mar. 1992.
17. A. Bondavalli, L. Strigini, and M. Sereno, "Destination Stripping Dual Ring: A New Protocol for MANs," Computer Networks and ISDN Systems, vol. 24, no. 9, pp. 15-32, Mar. 1992.
18. W.J. Dally, "Performance Analysis of k-ary n-cube Interconnection Networks," IEEE Trans. Computers, vol. 39, no. 6, June 1990.