Skip to main content
Springer Nature Link
Log in

A Timed Petri Net Interpreter: An Alternative Method for Simulation

  • Conference paper
  • First Online:
Rough Sets and Current Trends in Computing (RSCTC 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2005))

Included in the following conference series:

  • 5117 Accesses

Abstract

This paper reports on the design and implementation of a timed Petri net interpreter. Currently, several Petri net simulators written in the Pascal and C languages are available. However, our approach is to use an expert system language called CLIPS to write an interpreter to execute Petri nets. The major difference between a rule-based expert system language like CLIPS and languages such as Ada, C, or Pascal is that the rules of CLIPS can be activated concurrently, while the statements of other languages are sequential. In this project, we first design a Petri net language; programs written in a Petri net language can describe Petri net behavior. Then, we will design and write an interpreter in the CLIPS language that can execute Petri net programs. The CLIPS language is a data driven language, and the interpreter can search for enabled transitions for firing. With this approach, we can avoid complicated data structures and their implementations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. B. Berthomieu and M. Diaz, “Modeling and verification of time dependent systems using time Petri nets,” IEEE Transactions on Software Engineering, V.17, No. 3, pp.259–273, March 1991.

    Article  MathSciNet  Google Scholar 

  2. R. Bauman and T. A. Turano “Production based language simulation of Petri nets,” Simulation, pp.191–198, November. 1986.

    Google Scholar 

  3. K. M. Chandy and J. Misra, “Distributed simulation: A case study in design and verification of distributed programs,” IEEE Transactions on Software Engineering, V. SE-5, no.5, pp.440–452, September 1979.

    Article  MathSciNet  Google Scholar 

  4. G. Ciardo and K. S. Trivedi, “SPNP: The stochastic Petri net package (version 3.1),” InternationalWorkshop on Modeling Analysis and Simulation of Computer and Telecommunication Systems, pp.390–391, January 1993.

    Google Scholar 

  5. G. Chiola and A. Ferscha, “Distributed simulation of Petri nets,” IEEE Parallel & Distributed Technology, pp.33–37, August 1993.

    Google Scholar 

  6. C. L. Forgy, 1981 OPS5 User’s Manual. Technical Report CMU-CS-81-135 Department of Computer Science, Camegie Mellon University, Pittsburgh, Penn 15213.

    Google Scholar 

  7. R. M. Fujimoto, “Parallel discrete event simulation,” Comm. ACM, V. 33, no.10, pp.30–53, October 1990.

    Article  Google Scholar 

  8. W. Garbe, Stochastic Petri Net Simulator, available on InterNet, <antje@tudurz.urz.tu-dresden.de>

    Google Scholar 

  9. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, “A general way to put time in Petri nets,” ACM Workshop on Software Specification and Design, pp.60–67, 1989.

    Google Scholar 

  10. J. C. Giarratano, CLIPS User’s Guide, Lyndon B. Johnson Space Center, V-4.3, June 1988.

    Google Scholar 

  11. S. V. Hoover and R. F. Perry, Simulation, Addison Wesley Publishing Company, Inc., 1989.

    Google Scholar 

  12. M. A. Holliday and M. K. Vernon, “A generalized timed Petri net model for performance analysis,” IEEE Transactions on Software Engineering, Vol. SE13, December 1987.

    Google Scholar 

  13. C. Lin and D. C. Marinescu, “Stochastic high-level Petri nets and applications,” IEEE Transactions on Computers, Vol. 37, No.1, pp.815–825, July 1988.

    Article  Google Scholar 

  14. C. Lindemann, “DSPN express: A software package for the efficient solution of deterministic and stochastic Petri nets,” International Workshop on Modeling Analysis and Simulation of Computer and Telecommunication Systems, pp.373–374, January 1993.

    Google Scholar 

  15. D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato, “Modeling the Ada task system by Petri nets,” Computer Languages, V.10, No.1, 1985.

    Google Scholar 

  16. L. March and P. LePare, “Defining the semantics of languages for programmable controllers with synchronous processes,” Control Eng. Practice, V. 1, No.1, pp.79–84, 1993.

    Article  Google Scholar 

  17. M. A. Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. C. Cumani, “On Petri nets with stochastic timing,” Proc. Int. Workshop Timed Petri Nets, pp.80–87, July 1985.

    Google Scholar 

  18. J. Misra, “Distributed discrete-event simulation,” ACM Computing Surveys, V. 18, No.1, pp.39–65, March 1986.

    Article  Google Scholar 

  19. M. K. Molly, “Discrete time stochastic Petri nets,” IEEE Transactions on Software Engineering, V. SE-11, pp.417–423, 1985.

    Article  Google Scholar 

  20. M. K. Molly, “Performance analysis using stochastic Petri nets,” IEEE Transactions on Computers, V. C-31, pp.913–917, September 1982.

    Article  Google Scholar 

  21. J. Noe, “Nets in Modeling and Simulation,” Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1980.

    Google Scholar 

  22. G. Nutt, Petri Net Simulator, available on InterNet, <nutt@pawnee.cs.colorado.edu>

    Google Scholar 

  23. J. L. Peterson, Petri Net Theory and The Modeling of System, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1981.

    Google Scholar 

  24. C. V. Ramamoorthy and G. S. Ho, “Performance evaluation of asynchronous concurrent systems using Petri nets,” IEEE Transactions on Software Engineering, V. 6, pp.440–449, September 1980.

    Article  MathSciNet  Google Scholar 

  25. J. Sifakis, Use of Petri nets for performance evaluation, Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1980.

    Google Scholar 

  26. A. A. Q. Taqi, et al, “Acomparative study between Petri net and SLAM,” Simulation, pp.339–344, November 1992.

    Google Scholar 

  27. A. A. Torn, “Simulation graphs: A general tool for modeling simulation designs,” Simulation pp.187–194, December 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Southern Illinois University Edwardsville, 62026-1656, Edwardsville, Illinois

    Trong Wu & Shu-chiung Huang

Authors
  1. Trong Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shu-chiung Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Regina Regina, S4S 0A2, Saskatchewan, Canada

    Wojciech Ziarko  & Yiyu Yao  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wu, T., Huang, Sc. (2001). A Timed Petri Net Interpreter: An Alternative Method for Simulation. In: Ziarko, W., Yao, Y. (eds) Rough Sets and Current Trends in Computing. RSCTC 2000. Lecture Notes in Computer Science(), vol 2005. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45554-X_83

Download citation

  • DOI: https://doi.org/10.1007/3-540-45554-X_83

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43074-2

  • Online ISBN: 978-3-540-45554-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics