Interactive Petri net simulation

A Petri net can provide a graphical model of a concurrent system. They have been used to model such varied systems as resource control, communication networks and manufacturing processes. Computer Science students will, hopefully, learn the theory of Petri nets in a discrete mathematics course or a course on theoretical foundations of Computer Science. They may even see a graph of a sample net in a textbook, but it is unlikely they will have a chance to experiment with a "live" net. The Interactive Petri Net Simulator (IPNetS) described in this paper provides an easy point-and-click environment for students to design, modify, examine, and execute a Petri net. In seconds any simple Petri net can be created and animated. IPNetS provides display, file handling, and user control functions while a separate execution unit does the actual execution of the net. This flexible design allows for easy experimentation with different execution units and different types of nets. An Ada and a C++ execution unit are contrasted.

[1]  Giorgio Bruno,et al.  Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems , 1991, Comput. Lang..

[2]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[3]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[4]  S. Toumodge.  Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

[5]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[6]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[7]  Toshimasa Watanabe,et al.  Legal firing sequence and related problems of Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[8]  John G. P. Barnes,et al.  Programming in Ada 95 , 1995 .

[9]  John M. Jeffrey.  Using Petri nets to introduce operating system concepts , 1991, SIGCSE '91.

[10]  Leslie C. Lander,et al.  Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications , 1992, Ada-Europe.

[11]  John Barnes,et al.  Programming in Ada95 , 1995 .

[12]  J. A. Carasco.  Automated construction of compound Markov chains from generalized stochastic high-level Petri nets , 1989 .

[13]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[14]  Robert Sedgewick,et al.  Algorithms in C , 1990 .

[15]  Jonathan Billington,et al.  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..