A test suite for exposing design and implementation details in petri net simulators

ABSTRACT

In this paper we deal with issues concerning design and implementation constraints of petri net simulators. We have discovered several interesting anomalies of specific simulators and the general inability of public domain petri net simulators to accommodate anything but the most simplistic models. Also, there are numerous design issues which have been addressed differently in different Petri Net Simulators. Hence, a user may expect behavior completely different from the one exhibited by the Simulator. In this paper, we try to address the above mentioned problem by presenting a test suite intended to evaluate the behavior of a petri net simulator. It is specifically designed to expose not only differences in the manner in which the design issues are addressed, but also limitations due to the implementation. We also present specific cases where this test suite has helped in pointing out the shortcomings of specific simulators. A logical conclusion to our work would be to bring about some level of standardization in the implementation of petri net simulators.

REFERENCES

• 1: M. Ancutici and T. Braunl. Xpns, Univ. Stuttgart, IPVR.
• 2: C.G. Cassandras. Discrete Event Systems: Modeling and Performance Analysis. Irwin, Homewood, IL, 1993.
• 3: D. Crane, Xpetri Dept. of Computer Science, Clemson University, SC.
• 4: R. David, and H. Alla. Petri Net and Grafcet, Prentice Hall, New York, 1992.
• 5: M. Frank and V. Schmidt. WinPetri.
• 6: Robert Geist , Darren Crane , Stephen Daniel , Darrell Suggs, Systems modeling with xpetri, Proceedings of the 26th conference on Winter simulation, p.611-618, December 11-14, 1994, Orlando, Florida, United States
• 7: Reinhard German , Christoph Lindemann, Analysis of stochastic Petri nets by the method of supplementary variables, Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation, p.317-335, May 1994, Rome, Italy
• 8: A. Gustavson, A. Abo, Dept. of Computer Science. XSimNet.
• 9: M. A. Marsan , G. Balbo , A. Bobbio , G. Chiola , G. Conte , A. Cumani, The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.15 n.7, p.832-846, July 1989 [doi>10.1109/32.29483]
• 10: James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 11: M. Pezze'. Cabernet. Dipartimento di Elettronica e Informazione, Politecnico di Milano.