Abstract
This chapter presents some of the extensions and restrictions to the P/T Petri nets. GPenSIM supports some of these extensions (e.g., colored Petri net, Petri net with inhibitor arc, enabling functions, transitions with priorities) and restrictions (marked graphs, state machines). Due to its flexibility, it is easy to implement the other extensions and restrictions too in GPenSIM.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Agerwala, T. (1974). A complete model for representing the coordination of asynchronous processes. Baltimore, MD: Hopkins Computer Research Report 32, Johns Hopkins University.
Bause, F., & Kritzinger, P. (1996). Stochastic Petri nets. Wiesbaden: Verlag Vieweg. 26.
Ciardo, G. (1987, August). Toward a definition of modeling power for stochastic Petri net models. In PNPM (Vol. 87, pp. 54–62).
CPN. (2017). Very brief introduction to CP-nets. Department of Computer Science, University of Aarhus, Denmark.
Davidrajuh, R. (2017). Modular Petri net models of communicating agents. In International Joint Conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding (pp. 328–337). Springer, Cham.
Davidrajuh. R. (2018). Modeling discrete-event systems with GPenSIM: Advanced topics. Unpublished.
Davidrajuh, R., & Saddallah, N. (2016). Implementation of “Cohesive Place-Transition Nets with Inhibitor Arcs” in GPenSIM. In IEEE 2016 Asia Multi Conference on Modelling and Simulation, Kota Kinabalu, Malaysia, December 4–6, 2016.
Desel, J. (1992). A proof of the rank theorem for extended free choice nets. Application and Theory of Petri nets, 1992, 134–153.
Desel, J., & Esparza, J. (2005). Free choice Petri nets. Cambridge: Cambridge University Press.
Gu, T., & Bahri, P. A. (2002). A survey of Petri net applications in batch processes. Computers in Industry, 47(1), 99–111.
Guan, S. U., Yu, H. Y., & Yang, J. S. (1998). A prioritized Petri net model and its application in distributed multimedia systems. IEEE Transactions on Computers, 47(4), 477–481.
Haas, P. J. (2002). Stochastic Petri nets: Modeling Stability, Simulation, Chapter 8.
Jiao, L., Cheung, T. Y., & Lu, W. (2004). On liveness and boundedness of asymmetric choice nets. Theoretical Computer Science, 311(1–3), 165–197.
Krenczyk, D., Davidrajuh, R., & Skolud, B. (2017, September). An activity-oriented petri net simulation approach for optimization of dispatching rules for job shop transient scheduling. In international joint conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding (pp. 299–309). Springer, Cham.
Lopez, F., Barton, K., & Tilbury, D. (2017). Simulation of discrete manufacturing systems with attributed hybrid dynamical nets. unpublished in October 2017.
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.
Peterson, J. L. (1981). Petri net theory and the modeling of systems. New Jersey, USA: Prentice-Hall.
Saadallah, N. (2013). Scheduling drilling processes with Petri nets. Ph.D. Dissertation, University of Stavanger, Norway.
Saffar, Y., Jamali, M., & Neshati, M. (2015). Colored Petri nets (CPN). Available: www.cs.ubc.ca/~jamalim/resources/CPN.ppt.
Skolud, B., Krenczyk, D., & Davidrajuh, R. (2016, October). Solving repetitive production planning problems. An approach based on Activity-oriented Petri nets. In International Joint Conference SOCO’16-CISIS’16-ICEUTE’16 (pp. 397–407). Springer, Cham.
Skolud, B., Krenczyk, D., & Davidrajuh, R. (2017). Multi-assortment production flow synchronization. Multiscale modelling approach. In MATEC Web of Conferences (Vol. 112, p. 05003). EDP Sciences.
Wang, L. C. (1996). Object-oriented Petri nets for modelling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems, 9(2), 111–125.
Zaitsev, D. A. (2013). Toward the minimal universal Petri net. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44, 1–12.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 The Author(s)
About this chapter
Cite this chapter
Davidrajuh, R. (2018). Petri net Extensions and Restrictions. In: Modeling Discrete-Event Systems with GPenSIM. SpringerBriefs in Applied Sciences and Technology. Springer, Cham. https://doi.org/10.1007/978-3-319-73102-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-73102-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73101-8
Online ISBN: 978-3-319-73102-5
eBook Packages: EngineeringEngineering (R0)