Review of hierarchy in Petri Nets

Markiewicz, Michał; Gniewek, Lesław

doi:10.24425/ijet.2025.155452

Artykuł - szczegóły

Tytuł artykułu

Review of hierarchy in Petri Nets

Autorzy

Markiewicz Michał , Gniewek Lesław

Treść / Zawartość

Pełne teksty:

IJET_2025_71_3_MARKIEWICZ_Review of hierarchy.pdf

Pobierz

Identyfikatory

DOI

10.24425/ijet.2025.155452

Warianty tytułu

Języki publikacji

Abstrakty

Petri nets are increasingly being used to create IT and automation systems whose high complexity requires a new approach to design and implementation. As a result, new concepts for describing, analyzing, and presenting Petri nets have been developed, among which the introduction of a hierarchical network structure holds an important place. This structure allows for the presentation of a created system (network) at various levels of abstraction and facilitates the determination of the properties of its modules (subnetworks) and the all network. Although hierarchical networks are currently widely used in research and pracital applications, there is no uniform way of using them. Therefore, the aim of this article is to identify and present the basic concepts of applying hierarchy in Petri nets.

Słowa kluczowe

petri nets hierarchy modularization formal model

Wydawca

Polish Academy of Sciences, Committee of Electronics and Telecommunication

Czasopismo

International Journal of Electronics and Telecommunications

Rocznik

2025

Tom

Vol. 71, No. 3

Strony

Opis fizyczny

Bibliogr. 120 poz., rys.

Twórcy

autor

Markiewicz Michał

mmarkiewicz@prz.edu.pl

Rzeszow University of Technology, Poland

autor

Gniewek Lesław

lgniewek@prz.edu.pl

Rzeszow University of Technology, Poland

Bibliografia

[1] M. D. Mesarovic, D. Macko, and Y. Takahara, Theory of hierarchical, multilevel, systems. Elsevier, 2000.
[2] C. Sunder, A. Zoitl, M. Rainbauer, and B. Favre-Bulle, “Hierarchical control modelling architecture for modular distributed automation systems,” in 2006 4th IEEE International Conference on Industrial Informatics. IEEE, 2006, pp. 12-17.
[3] A. Bidram and A. Davoudi, “Hierarchical structure of microgrids control system,” IEEE Transactions on Smart Grid, vol. 3, no. 4, pp. 1963-1976, 2012.
[4] B. P. Zeigler, Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems. Academic press, 2014.
[5] P. Arbelaez, M. Maire, C. Fowlkes, and J. Malik, “Contour detection and hierarchical image segmentation,” IEEE transactions on pattern analysis and machine intelligence, vol. 33, no. 5, pp. 898-916, 2010.
[6] S. Makris, Cooperating robots for flexible manufacturing. Springer, 2021.
[7] X. Zhang, R. Mangal, M. Naik, and H. Yang, “Hybrid top-down and bottom-up interprocedural analysis,” in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, pp. 249-258.
[8] E. M. Nystrom, H.-S. Kim, and W.-M. W. Hwu, “Bottom-up and top-down context-sensitive summary-based pointer analysis,” in Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings 11. Springer, 2004, pp. 165-180.
[9] J. M. Rodriguez, M. Crasso, C. Mateos, A. Zunino, and M. Campo, “Bottom-up and top-down cobol system migration to web services,” IEEE Internet Computing, vol. 17, no. 2, pp. 44-51, 2011.
[10] K.-Q. Zhou and A. M. Zain, “Fuzzy petri nets and industrial applica-tions: a review,” Artificial Intelligence Review, vol. 45, pp. 405-446, 2016.
[11] A. Giua and M. Silva, “Petri nets and automatic control: A historical perspective,” Annual Reviews in Control, vol. 45, pp. 223-239, 2018.
[12] Z. Li, N. Wu, and M. Zhou, “Deadlock control of automated man-ufacturing systems based on petri nets—a literature review,” IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol. 42, no. 4, pp. 437-462, 2011.
[13] J. L. Peterson, “Petri nets,” ACM Computing Surveys (CSUR), vol. 9, no. 3, pp. 223-252, 1977.
[14] K. Jensen, Coloured Petri nets: basic concepts, analysis methods and practical use. Springer Science & Business Media, 1997, vol. 1.
[15] R. David and H. Alla, Discrete, continuous, and hybrid Petri nets. Springer, 2005, vol. 1.
[16] C. Yuan, Y. Liao, L. Kong, and H. Xiao, “Fault diagnosis method of distribution network based on time sequence hierarchical fuzzy petri nets,” Electric Power Systems Research, vol. 191, p. 106870, 2021.
[17] M. Figat and C. Zieli´nski, “Parameterised robotic system meta-model expressed by hierarchical petri nets,” Robotics and Autonomous Sys-tems, vol. 150, p. 103987, 2022.
[18] S. Souravlas, S. Anastasiadou, and I. Kostoglou, “A novel method for general hierarchical system modeling via colored petri nets based on transition extractions from real datasets,” Applied Sciences, vol. 13, no. 1, p. 339, 2022.
[19] N. Ali, S. Punnekkat, and A. Rauf, “Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored petri nets,” Journal of Systems and Software, vol. 210, p. 111958, 2024.
[20] W. Yue, L. Hou, X. Wan, X. Chen, and W. Gui, “Superheat degree recognition of aluminum electrolysis cell using unbalance double hierarchy hesitant linguistic petri nets,” IEEE Transactions on Instru-mentation and Measurement, vol. 72, pp. 1-15, 2023.
[21] R. Valette, “Analysis of petri nets by stepwise refinements,” Journal of computer and system sciences, vol. 18, no. 1, pp. 35-46, 1979.
[22] I. Suzuki and T. Murata, “A method for stepwise refinement and abstraction of petri nets,” Journal of computer and system sciences, vol. 27, no. 1, pp. 51-76, 1983.
[23] W. Vogler, “Behaviour preserving refinements of petri nets,” in Graph-Theoretic Concepts in Computer Science, ser. Lecture Notes in Computer Science, G. Tinhofer and G. Schmidt, Eds. Springer Berlin Heidelberg, Jun. 1986, no. 246, pp. 82-93. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-17218-1_51
[24] W. Brauer, R. Gold, and W. Vogler, “A survey of behaviour and equivalence preserving refinements of petri nets,” in Advances in Petri Nets 1990, ser. Lecture Notes in Computer Science, G. Rozenberg, Ed. Springer Berlin Heidelberg, Jun. 1989, pp. 1-46. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-53863-1_19
[25] L. Bernardinello and F. De Cindio, “A survey of basic net models and modular net classes,” in Advances in Petri Nets 1992. London, UK: Springer-Verlag, 1992, pp. 304-351. [Online]. Available: http://dl.acm.org/citation.cfm?id=647749.734386
[26] W. M. Van Der Aalst, “Workflow verification: finding control-flow errors using petri-net-based techniques,” in Business Process Manage-ment. Springer, 2000, pp. 161-183.
[27] H. Huang, L. Jiao, and T.-Y. Cheung, Property-Preserving Petri Net Process Algebra in Software Engineering. World Scientific, 2012.
[28] R. Van Glabbeek and U. Goltz, “Refinement of actions in causality based models,” in Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. Springer, 1989, pp. 267-300. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-52559-9_68
[29] E. Best, R. Devillers, A. Kiehn, and L. Pomello, “Concurrent bisimulations in petri nets,” Acta Informatica, vol. 28, no. 3, pp. 231-264, Mar. 1991. [Online]. Available: http://link.springer.com/article/10.1007/BF01178506
[30] W. Vogler, “Bisimulation and action refinement,” Theoretical Computer Science, vol. 114, no. 1, pp. 173-200, Jun. 1993. [Online]. Available: http://www.sciencedirect.com/science/article/pii/030439759390157O
[31] R. Van Glabbeek and U. Goltz, “Refinement of actions and equivalence notions for concurrent systems,” Acta Informatica, vol. 37, no. 4-5, pp. 229-327, 2001. [Online]. Available: http://link.springer.com/article/10.1007/s002360000041
[32] L. Jiao, “Refining and verifying regular petri nets,” International Journal of Systems Science, vol. 39, no. 1, pp. 17-27, 2008. [Online]. Available: http://www.tandfonline.com/doi/abs/10.1080/00207720701621959
[33] C. Girault and R. Valk, Petri nets for systems engineering: a guide to modeling, verification, and applications. Springer Science & Business Media, 2013.
[34] M. Hack, “Analysis of production schemata by petri nets,” Mas-sachusetts Institute of Technology. Cambridge, Mass, Master’s thesis, 1972.
[35] R. J. Lipton, “Reduction: A method of proving properties of parallel programs,” Communications of the ACM, vol. 18, no. 12, pp. 717-721, 1975. [Online]. Available: http://dl.acm.org/citation.cfm?id=361234
[36] Y. S. Kwong, “On reduction of asynchronous systems,” Theoretical Computer Science, vol. 5, no. 1, pp. 25-50, aug 1977. [Online]. Available: http://www.sciencedirect.com/science/article/pii/030439757790041X
[37] W. Kowalk and R. Valk, “On reductions of parallel programs,” in Automata, Languages and Programming, ser. Lecture Notes in Computer Science, H. A. Maurer, Ed. Springer Berlin Heidelberg, jul 1979, no. 71, pp. 356-369. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-09510-1_29
[38] G. Berthelot, “Checking properties of nets using transformations,” in European Workshop on Applications and Theory in Petri Nets. Springer, 1985, pp. 19-40.
[39] ——, “Transformations and decompositions of nets,” in Petri Nets: Central Models and Their Properties, ser. Lecture Notes in Computer Science, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Springer Berlin Heidelberg, 1987, no. 254, pp. 359-376. [Online]. Available: http://link.springer.com/chapter/10.1007/BFb0046845
[40] A. Name, “Hierarchical reduction method for analysis and decom-position of petri nets,” IEEE Transactions on Systems, Man, and Cybernetics, vol. SMC-15, no. 2, pp. 272-280, March-April 1985.
[41] K. H. Lee, J. Favrel, and P. Baptiste, “Generalized petri net reduction method,” Systems, Man and Cybernetics, IEEE Transactions on, vol. 17, no. 2, pp. 297-303, 1987. [Online]. Available: http://ieeexplore.ieee.org/xpls/abs all.jsp?arnumber=4309041
[42] J. Desel, “Reduction and design of well-behaved concurrent systems,” in CONCUR’90 Theories of Concurrency: Unification and Extension. Springer, 1990, pp. 166-181. [Online]. Available: http://link.springer.com/chapter/10.1007/BFb0039059
[43] E. Best and J. Desel, “Partial order behaviour and structure of petri nets,” Formal aspects of computing, vol. 2, no. 1, pp. 123-138, 1990. [Online]. Available: http://link.springer.com/article/10.1007/BF01888220
[44] J. Esparza, “Reduction and synthesis of live and bounded free choice petri nets,” Information and Computation, vol. 114, no. 1, pp. 50-87, 1994. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0890540184710807
[45] J. Desel and J. Esparza, Free choice Petri nets. Cambridge University Press, 2005, vol. 40.
[46] L. Jiao, T.-Y. Cheung, and W. Lu, “Characterizing liveness of petri nets in terms of siphons,” in International Conference on Application and Theory of Petri Nets. Springer, 2002, pp. 203-216.
[47] ——, “On liveness and boundedness of asymmetric choice nets,” Theoretical Computer Science, vol. 311, no. 1, pp. 165-197, 2004. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0304397503003591
[48] R. H. Sloan and U. Buy, “Reduction rules for time petri nets,” Acta Informatica, vol. 33, no. 7, pp. 687-706, 1996. [Online]. Available: http://link.springer.com/article/10.1007/s002360050066
[49] J. Wang, Y. Deng, and M. Zhou, “Compositional time petri nets and reduction rules,” IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), vol. 30, no. 4, pp. 562-572, aug 2000. [Online]. Available: https://doi.org/10.1109/3477.865173
[50] E. Y. T. Juan, J. J. P. Tsai, T. Murata, and Y. Zhou, “Reduction methods for real-time systems using delay time petri nets,” IEEE Transactions on Software Engineering, vol. 27, no. 5, pp. 422-448, may 2001. [Online]. Available: https://doi.org/10.1109/32.922714
[51] J.-M. Proth and X. Xie, Petri nets: a tool for design and management of manufacturing systems. John Wiley & Sons, 1996, vol. 6.
[52] M. Uzam, “The use of the petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems,” The International Journal of Advanced Manufacturing Technology, vol. 23, no. 3, pp. 204-219, feb 2004. [Online]. Available: https://doi.org/10.1007/s00170-002-1526-5
[53] P. Huber, K. Jensen, and R. M. Shapiro, “Hierarchies in coloured petri nets,” in Advances in Petri Nets 1990, ser. Lecture Notes in Computer Science, G. Rozenberg, Ed. Springer Berlin Heidelberg, Jun. 1989, no. 483, pp. 313-341. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-53863-1_30
[54] K. Jensen, “Coloured petri nets: A high level language for system design and analysis,” in Advances in Petri Nets 1990, ser. Lecture Notes in Computer Science, G. Rozenberg, Ed. Springer Berlin Heidelberg, Jun. 1989, no. 483, pp. 342-416. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-53863-1_31
[55] K. Jensen and L. M. Kristensen, Coloured Petri nets: modelling and validation of concurrent systems. Springer Science & Business Media, 2009.
[56] D. Moldt and F. Wienberg, “Multi-agent-systems based on coloured petri nets,” in Application and Theory of Petri Nets 1997, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, Jun. 1997, pp. 82-101. [Online]. Available: https://link.springer.com/chapter/10.1007/3-540-63139-9_31
[57] J. F. Peters, A. Skowron, Z. Suraj, W. Pedrycz, and S. Ramanna, “Approximate real-time decision making: concepts and rough fuzzy petri net models,” International Journal of Intelligent Systems, vol. 14, no. 8, pp. 805-839, 1999. [Online]. Available: https://www.researchgate.net/profile/James Peters/publication/2804691 Approximate Real-Time Decision Making Concepts andRough Fuzzy Petri Net Models/links/0fcfd510a880d3eff0000000.pdf
[58] T. Holvoet and P. Verbaeten, “Petri charts: an alternative technique for hierarchical net construction,” in 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 1995, vol. 3, pp. 2688-2693.
[59] X. He, “A formal definition of hierarchical predicate transition nets,” in Application and Theory of Petri Nets 1996, ser. Lecture Notes in Computer Science, J. Billington and W. Reisig, Eds. Springer Berlin Heidelberg, Jun. 1996, no. 1091, pp. 212-229. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-61363-3_12
[60] G. Andrzejewski, “Hierarchical petri nets for digital controller design,” in Design of embedded control systems. Springer, 2005, pp. 27-36.
[61] H. Pan and J. Sun, “Complex knowledge system modeling based on hierarchical fuzzy petri net,” in 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology-Workshops. IEEE, 2007, pp. 31-34.
[62] M. Markiewicz and L. Gniewek, “Conception of hierarchical fuzzy interpreted petri net,” Stud. Inf. Control, vol. 26, pp. 151-160, 2017.
[63] M. Markiewicz, L. Gniewek, and D. Warchoł, “Extended hierarchical fuzzy interpreted petri net,” Sensors, vol. 21, no. 24, p. 8433, 2021.
[64] M. Markiewicz and L. Gniewek, “A program model of fuzzy interpreted petri net to control discrete event systems,” Applied Sciences, vol. 7, no. 4, p. 422, 2017.
[65] International Electrotechnical Commission, “International standard iec 60848:2013: Grafcet specification language for sequential function charts approach,” International Electrotechnical Commission, Geneva, CH, International Standard, 2013.
[66] “International standard iec 61131-3: Programmable controllers - part 3: Programming languages,” International Electrotechnical Commission, Geneva, CH, International Standard, 2013.
[67] System Manual, STEP 7 Professional V12.0, Siemens AG, 2013.
[68] Operation Manual, SFC Programming, Omron Corporation, 2010.
[69] Programming Manual, Logix5000 Controllers Sequential Function Charts, Rockwell Automation Publication, 1756-PM006F-EN-P, 2014.
[70] Reference manual, Unity Pro. Program Languages and Structure, Schneider Electric, 2014.
[71] Reference manual, PL7 Micro/Junior/Pro. Description of the PL7 software, Schneider Electric, 2008.
[72] R. David and H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice Hall, 1992.
[73] ——, Discrete, Continuous, and Hybrid Petri Nets. Springer, 2010.
[74] M. Silva and R. Valette, “Petri nets and flexible manufacturing,” in European Workshop on Applications and Theory in Petri Nets. Springer, 1988, pp. 374-417.
[75] K. P. Valavanis, “On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended petri nets,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 20, no. 1, pp. 94-110, jan 1990. [Online]. Available: https://doi.org/10.1109/21.47812
[76] M. Zhou, F. DiCesare, and A. A. Desrochers, “A hybrid methodology for synthesis of petri net models for manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 8, no. 3, pp. 350-361, 1992.
[77] M. D. Jeng and F. DiCesare, “Synthesis using resource control nets for modeling shared-resource systems,” IEEE Transactions on Robotics and Automation, vol. 11, no. 3, pp. 317-327, jun 1995. [Online]. Available: https://doi.org/10.1109/70.388774
[78] M. Zhou, “Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A petri net approach,” IEEE Transactions on Semiconductor Manufacturing, vol. 11, no. 3, pp. 333-357, aug 1998. [Online]. Available: https://doi.org/10.1109/66.705370
[79] G. Sibertin-Blanc, “High-level petri nets,” Journal of Computer Science, vol. 12, no. 4, pp. 345-356, 1985.
[80] R. Valette, J. Cardoso, and D. Dubois, “Monitoring manufacturing systems by means of petri nets with imprecise markings,” in IEEE International Symposium on Intelligent Control, vol. 2526. Albany NY USA., 1989.
[81] R. Bastide and P. A. Palanque, “Petri net objects for the design, validation and prototyping of user-driven interfaces.” in INTERACT’90 Conference Proceedings, vol. 90, 1990, pp. 625-631.
[82] G. Bruno and A. Balsamo, “Petri net-based object-oriented modelling of distributed systems,” ACM SIGPLAN Notices, vol. 21, no. 11, pp. 284-293, Jun. 1986. [Online]. Available: https://doi.org/10.1145/960112.28725
[83] G. Bruno and M. Morisio, “Petri-net based simulation of manufacturing cells,” in 1987 IEEE International Conference on Robotics and Automation Proceedings, vol. 4, Mar. 1987, pp. 1174-1179. [Online]. Available: https://doi.org/10.1109/ROBOT.1987.1087859
[84] R. Fehling, “A concept of hierarchical petri nets with building blocks,” in Advances in Petri Nets 1993, ser. Lecture Notes in Computer Science, G. Rozenberg, Ed. Springer Berlin Heidelberg, Jun. 1991, no. 674, pp. 148-168. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-56689-9_43
[85] B. Farwer and K. Misra, “Modelling with hierarchical object petri nets,” Fundamenta Informaticae, vol. 55, no. 2, pp. 129-147, Jan. 2003. [Online]. Available: http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-04
[86] Y. K. Lee and S. J. Park, “OPNets: an object-oriented high-level Petri net model for real-time system modeling,” Journal of Systems and Software, vol. 20, no. 1, pp. 69-86, 1993. [Online]. Available: http://www.sciencedirect.com/science/article/pii/0164121293900494
[87] C. A. Lakos and C. D. Keen, LOOPN++: a new language for object-oriented Petri nets. Department of Computer Science, University of Tasmania, 1994.
[88] C. Lakos, “From coloured petri nets to object petri nets,” in Application and Theory of Petri Nets 1995, ser. Lecture Notes in Computer Science, G. D. Michelis and M. Diaz, Eds., no. 935. Springer Berlin Heidelberg, jun 1995, pp. 278-297. [Online]. Available: http://link.springer.com/chapter/10.1007/3-540-60029-9_45
[89] ——, “The consistent use of names and polymorphism in the definition of object petri nets,” in Application and Theory of Petri Nets 1996, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, jun 1996, pp. 380-399. [Online]. Available: https://link.springer.com/chapter/10.1007/3-540-61363-3_21
[90] ——, “Object oriented modelling with object petri nets,” in Concurrent object-oriented programming and petri nets. Springer, 2001, pp. 1-37.
[91] R. Bastide, “Approaches in unifying petri nets and the object-oriented approach,” in 1st Workshop on Object-Oriented Programming and Models of Concurrency, within the 16th International Conference on Application and Theory of Petri nets, 1995.
[92] R. Esser, An object oriented Petri net approach to embedded system design. Eidgen¨ossische Technische Hochschule [ETH] Z¨urich, 1996.
[93] M. Čečska, V. Janoušek, and T. Vojnar, “Pntalk — a computerized tool for object oriented petri nets modelling,” in Computer Aided Systems Theory — EUROCAST’97, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, feb 1997, pp. 591-610. [Online]. Available: https://link.springer.com/chapter/10.1007/BFb0025078
[94] J. E. Hong and D.-H. Bae, “Hoonets: Hierarchical object-oriented petri nets for system modeling and analysis,” KAIST Technical Report CS/TR, pp. 98-132, 1998.
[95] J.-E. Hong and D.-H. Bae, “Software modeling and analysis using a hierarchical object-oriented petri net,” Information Sciences, vol. 130, no. 1-4, pp. 133-164, Dec. 2000. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0020025500000906
[96] Z. Jiang, M. J. Zuo, P. Y. Tu, and R. Y. K. Fung, “Object-oriented petri nets with changeable structure (opns-cs) for production system modelling,” The International Journal of Advanced Manufacturing Technology, vol. 15, no. 6, pp. 445-459, jun 1999. [Online]. Available: https://link.springer.com/article/10.1007/s001700050089
[97] Z. Jiang, M. J. Zuo, R. Y. Fung, and P. Y. Tu, “Performance modelling of complex dynamic production systems using temporised object-oriented petri nets with changeable structure (topns-cs),” The Interna-tional Journal of Advanced Manufacturing Technology, vol. 16, no. 7, pp. 521-536, 2000.
[98] M. Dong and F. F. Chen, “Process modeling and analysis of manufacturing supply chain networks using object-oriented petri nets,” Robotics and Computer-Integrated Manufacturing, vol. 17, no. 1-2, pp. 121-129, feb 2001. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0736584500000454
[99] R. Valk, “Petri nets as token objects,” in International Conference on Application and Theory of Petri Nets. Springer, 1998, pp. 1-24.
[100] ——, “Concurrency in communicating object petri nets,” in Concurrent object-oriented programming and Petri nets. Springer, 2001, pp. 164-195.
[101] ——, “Object petri nets,” in Advanced Course on Petri Nets. Springer, 2003, pp. 819-848.
[102] M. K”ohler and H. R”olke, “Properties of object petri nets,” pp. 278-297, 2004.
[103] Y. Shoham, “Agent-oriented programming,” Artificial intelligence, vol. 60, no. 1, pp. 51-92, 1993.
[104] D. Moldt and R. Valk, “Object oriented petri nets in business process modeling,” in Business Process Management. Springer, 2000, pp. 254-273.
[105] D. Moldt, H”ohere Petrinetze als Grundlage f”ur Systemspezifikatio-nen. Department of Computer Science, University of Hamburg, 1996.
[106] C. Maier and D. Moldt, “Object coloured petri nets-a formal technique for object oriented modelling,” in Concurrent object-oriented program-ming and petri nets. Springer, 2001, pp. 406-427.
[107] J. Saldhana and S. M. Shatz, “Uml diagrams to object petri net models: an approach for modeling and analysis,” in International Conference on Software Engineering and Knowledge Engineering, 2000, pp. 103-110.
[108] X. F. Zha, “An object-oriented knowledge based petri net approach to intelligent integration of design and assembly planning,” Artificial Intelligence in Engineering, vol. 14, no. 1, pp. 83-112, 2000.
[109] O. Biberstein, D. Buchs, and N. Guelfi, “Object-oriented nets with algebraic specifications: the co-opn/2 formalism,” in Concurrent Object-Oriented Programming and Petri Nets, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2001, pp. 73-130. [Online]. Available: https://link.springer.com/chapter/10.1007/3-540-45397-0_3
[110] S. Chachkov and D. Buchs, “From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach,” in Proceedings Second International Conference on Application of Concurrency to System Design, 2001, pp. 99-110. [Online]. Available: https://doi.org/10.1109/CSD.2001.981768
[111] X. Meng, “Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets,” Journal of Manufacturing Systems, vol. 29, no. 2, pp. 81-90, Jul. 2010. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0278612510000518
[112] T. Miyamoto and K. Horiguchi, “Modular reachability analysis in fundamental class of multi-agent nets,” in IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, Nov. 2011, pp. 3782-3787. [Online]. Available: https://doi.org/10.1109/IECON.2011.6119925
[113] S. Christensen and L. Petrucci, “Modular analysis of petri nets,” The Computer Journal, vol. 43, no. 3, pp. 224-242, 2000.
[114] A. Schumann and K. Pancerz, “Towards an object-oriented program-ming language for physarum polycephalum computing: A petri net model approach,” Fundamenta Informaticae, vol. 133, no. 2-3, pp. 271-285, 2014.
[115] S. Hammami and H. Mathkour, “Adaptive e-learning system based on agents and object petri nets (AELS-A/OPN),” Computer Applications in Engineering Education, vol. 23, no. 2, pp. 170-190, 2015. [Online]. Available: https://onlinelibrary.wiley.com/doi/abs/10.1002/cae.21587
[116] Ö. Basąk and Y. E. Albayrak, “Petri net based decision system modeling in real-time scheduling and control of flexible automotive manufacturing systems,” Computers & Industrial Engineering, vol. 86, pp. 116-126, 2015.
[117] X.-Y. Wu and X.-Y. Wu, “Extended object-oriented petri net model for mission reliability simulation of repairable pms with common cause failures,” Reliability Engineering & System Safety, vol. 136, pp. 109-119, 2015.
[118] M. C. Zhou and K. Venkatesh, Modeling, simulation, and control of flexible manufacturing systems, a Petri net approach. World Scientific, 1999.
[119] U. Becker and D. Moldt, “Object-oriented concepts for coloured petri nets,” in Proceedings of IEEE Systems Man and Cybernetics Conference - SMC, vol. 3, Oct. 1993, pp. 279-285. [Online]. Available: https://doi.org/10.1109/ICSMC.1993.385024
[120] C. Lakos, “From coloured petri nets to object petri nets,” in Interna-tional Conference on Application and Theory of Petri Nets. Springer, 1995, pp. 278-297.

Typ dokumentu

Bibliografia

Identyfikator YADDA

bwmeta1.element.baztech-156019a2-576d-49d5-b84c-4f26b78ef5ae