Modelling and simulation of complex systems using TPN Designer

Simulation Modelling Practice and Theory

Volumn 11, Issue 7-8, 2003, Pages 503-532

  Carullo, Luigi ^a   Furfaro, Angelo ^a   Nigro, Libero ^a   Pupo, Francesco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Actors; Generalised stochastic Petri nets; Hierarchical constructs; Java; Modular modelling; Petri nets; PN tools; Timed Petri nets design and simulation

Indexed keywords

DEBUGGING;

ALGORITHMS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; LARGE SCALE SYSTEMS; PETRI NETS; SYNCHRONIZATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0345329427     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1569-190X(03)00064-9     Document Type: Article

References (15)

1. Bause F., Krinzinger P. Stochastic Petri Nets - An Introduction to the Theory. 1996;Vieweg, Braunschweig.
2. Beraldi R., Nigro L. Distributed simulation of timed Petri nets: a modular approach using actors and Time Warp. IEEE Concurrency. 7(4):1999;52-62.
3. Beraldi R., Nigro L. A time warp mechanism based on temporal uncertainty. Transactions of the Society for Modelling and Simulation International. 18(2):2001;60-72.
4. R. Beraldi, L. Nigro, A. Orlando, F. Pupo, Temporal uncertainty time warp: an agent-based implementation, in: Proceedings of the 35th Annual Simulation Symposium, 14-18 April, San Diego, CA, 2002, pp. 72-79.
5. A. Ferscha, Concurrent execution of timed Petri nets, in: Proceedings of the of the 1994 Winter Simulation Conference (WSC 94), Lake Buena Vista, Florida, USA, 1994, pp. 229-236.
6. A. Furfaro, L. Nigro, F. Pupo, Modular design and simulation of complex TPN models, Invited paper at 4th WSEAS International Conference on Evolutionary Computation, Athens, Greece, May 29-31, 2003.
7. Marsan M.A., Balbo G., Conte G. A class of generalised stochastic Petri nets for the performance evaluation of systems. ACM Transactions on Computer Systems. 2(2):1984;93-122.
8. Marsan M.A., Balbo G., Chiola G., Conte G. Generalised stochastic Petri nets revisited: random switches and priorities. Proceedings of the 2nd International Workshop on Petri Nets and Performance Models. 1987;44-53 IEEE-CS Press, Silver Spring, MD.
9. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE. 77(4):1989;541-580.
10. Nigro L., Pupo F. Schedulability analysis of real time actor systems using coloured Petri nets. Agha G., De Cindio F., Rozenberg G. Concurrent Object-Oriented Programming and Petri Nets - Advances in Petri Nets. Lecture Notes in Computer Science. vol. 2001:2001;493-513 Springer, Berlin.
11. Ren S., Agha G., Saito M. A modular approach for programming distributed real-time systems. Journal of Parallel and Distributing Computing. 36(1):1996;4-42.
12. Zuberek W.M. Timed Petri nets: definitions, properties and applications. Microelectronics and Reliability. 31(4):1991;627-644.
13. W.M. Zuberek, Performance modeling of multithreaded distributed memory architectures, in: Proceedings of the 20th International Conference on Application and Theory of Petri Nets: Second Workshop on Hardware Design and Petri Nets (HWPN'99), Williamsburg, VA, 1999.
14. W.M. Zuberek, Performance comparison of fine-grain and block multithreaded architectures, in: Proceedings of Advanced Simulation Technologies Conference, SCS, High Performance Computing Symposium (HPC-2000), Washington, DC, 16-20 April 2000, pp. 383-388.
15. W.M. Zuberek, I. Rada, Space partitioning and speedup in distributed generation of state spaces, in: Proceedings of the 15th European Simulation Multiconference 2001 (ESM 2001), CTU Prague, Czech Republic, 6-9 June, 2001, pp. 554-559.