Literature Review on Modular Petri Nets

1. Berger S, Bogenreuther M, Häckel B, Niesel O (2019) Modeling availability risks of IT threats in smart factory networks-a modular Petri net approach, Twenty-Seventh European Conference on Information Systems (ECIS2019). Stockholm-Uppsala, Sweden, Association for Information Systems, AIS Electronic Library (AISeL), pp 1–17

   Google Scholar 

2. Billington J, Christensen S, Van Hee K, Kindler E, Kummer O, Petrucci L, Post R, Stehno C, Weber M (2003) The Petri net markup language: concepts, technology, pp 483–505

   Google Scholar 

3. Blätke MA, Meyer S, Marwan W (2011) Pain signaling-a case study of the modular Petri net modeling concept with prospect to a protein-oriented modeling platform. In: Proceedings of the 2nd international workshop on biological processes and petri nets (BioPPN 2011). Newcastle upon Tyne, United Kingdom, pp 1–19

   Google Scholar 

4. Bonnet-Torrès O, Domenech P, Lesire C, Tessier C (2006) E xhost-pipe: pipe extended for two classes of monitoring Petri nets, pp 391–400

   Google Scholar 

5. Brettel M, Friederichsen N, Keller M, Rosenberg M (2014) How virtualization, decentralization and network building change the manufacturing landscape: An industry 4.0 perspective. Int J Mech Ind Sci Eng 8(1):37–44

   Google Scholar 

6. Bucci G, Vicario E (1995) Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans Softw Eng 21(12):969–992

   Article  Google Scholar 

7. Christensen S, Petrucci L (2000) Modular analysis of Petri nets. Comput J 43(3):224–242

   Article  Google Scholar 

8. Claver J, Harhalakis G, Proth J, Savi V, Xie X (1991) A step-wise specification of a manufacturing system using Petri nets. In: IEEE International Conference on systems, man, and cybernetics Conference proceedings 1991, IEEE, pp 373–378

   Google Scholar 

9. Davidrajuh R (2011) Representing resources in Petri net models: Hardwiring or soft-coding? In: Proceedings of 2011 IEEE international conference on service operations. Logistics and Informatics, IEEE, pp 62–67

   Google Scholar 

10. Davidrajuh R (2013) Distributed workflow based approach for eliminating redundancy in virtual enterprising. J Supercomput 63(1):107–125

    Article  Google Scholar 

11. Davidrajuh R (2019) A new modular Petri net for modeling large discrete-event systems: a proposal based on the literature study. Computers 8(4):83

    Article  Google Scholar 

12. Davis J, Edgar T, Porter J, Bernaden J, Sarli M (2012) Smart manufacturing, manufacturing intelligence and demand-dynamic performance. Comput Chem Eng 47:145–156

    Article  Google Scholar 

13. De Jong GG, Lin B (1994) A communicating Petri net model for the design of concurrent asynchronous modules. In: IEEE 31st design automation conference. IEEE, pp. 49–55

    Google Scholar 

14. dos Santos Soares M, Vrancken J (2012) A modular Petri net to modeling and scenario analysis of a network of road traffic signals. Control Eng Pract 20(11):1183–1194

    Article  Google Scholar 

15. Dotoli M, Epicoco N, Falagario M, Cavone G (2015) A timed Petri nets model for performance evaluation of intermodal freight transport terminals. IEEE Trans Autom Sci Eng 13(2):842–857

    Article  Google Scholar 

16. Du Y, Tan W, Zhou M (2013) Timed compatibility analysis of web service composition: a modular approach based on Petri nets. IEEE Trans Autom Sci Eng 11(2):594–606

    Article  Google Scholar 

17. Giua A, DiCesare F, Silva M (1993) Petri net supervisors for generalized mutual exclusion constraints. IFAC Proc 26(2):379–382

    Article  Google Scholar 

18. Latorre-Biel JI, Jiménez-Macías E, García-Alcaraz JL, Muro JCS-D, Blanco-Fernandez J, Parte MPDL (2017) Modular construction of compact Petri net models. Int J Simul Process Model 12(6):515–524

    Article  Google Scholar 

19. Lee H, Banerjee A (2009) A modular Petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties, pp 525–530

    Google Scholar 

20. Lee J, Bagheri B, Kao HA (2015) A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufact Lett 3:18–23

    Article  Google Scholar 

21. Lee WJ, Cha SD, Kwon YR (1998) Integration and analysis of use cases using modular Petri nets in requirements engineering. IEEE Trans Software Eng 24(12):1115–1130

    Article  Google Scholar 

22. Mahulea C, García-Soriano JM, Colom JM (2012) Modular Petri net modeling of the spanish health system. In: Proceedings of 2012 IEEE 17th international conference on emerging technologies and factory automation (ETFA 2012), IEEE, pp 1–8

    Google Scholar 

23. Mahulea C, Mahulea L, Soriano JMG, Colom JM (2018) Modular Petri net modeling of healthcare systems. Flex Serv Manuf J 30(1–2):329–357

    Article  Google Scholar 

24. Savi VM, Xie X (1992) Liveness and boundedness analysis for Petri nets with event graph modules, pp 328–347

    Google Scholar 

25. Sessego F, Giua A, Seatzu C (2008) Hypens: a matlab tool for timed discrete, continuous and hybrid Petri nets, pp 419–428

    Google Scholar 

26. Slota A, Zajkac J, Uthayakumar M (2016) Synthesis of Petri net based model of a discrete event manufacturing system for nonlinear process plan. Manage Prod Eng Rev 7(2):62–72

    Google Scholar 

27. Song YJ, Lee JK (2000) Analysis of Petri net models using transitive matrix. In: 2000 IEEE International conference on systems, man and cybernetics. SMC 2000 Conference Proceedings cybernetics evolving to systems, humans, organizations, and their complex interactions (cat. no. 0, vol. 4, IEEE, pp. 3122–3127)

    Google Scholar 

28. Tsinarakis GJ, Tsourveloudis N, Valavanis KP (2005) Modular Petri net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems. J Intell Manuf 16(1):67–92

    Article  Google Scholar 

29. Tsourveloudis N, Dretoulakis E, Ioannidis S (2000) Fuzzy work-in-process inventory control of unreliable manufacturing systems. Inf Sci 127(1–2):69–83

    Article  Google Scholar 

30. Wang LC (1996) Object-oriented Petri nets for modelling and analysis of automated manufacturing systems. Comput Integr Manuf Syst 9(2):111–125

    Article  Google Scholar 

31. Wang LC, Wu SY (1998) Modeling with colored timed object-oriented Petri nets for automated manufacturing systems. Comput Ind Eng 34(2):463–480

    Article  MathSciNet  Google Scholar 

32. Xue Y, Kieckhafer R, Choobineh F (1998) Automated construction of gspn models for flexible manufacturing systems. Comput Ind 37(1):17–25

    Article  Google Scholar 

Download references