{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:01:42Z","timestamp":1761487302612,"version":"3.41.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2004,10]]},"abstract":"<jats:p>In this article, the authors provide an alternative view on Petri nets modeling of discrete event systems. The proposed modeling procedure follows the Systems Specification guidelines underlying the well-known DEVS modeling formalism. The authors' endeavour is towards perfecting the design of reusable Petri nets-based models by searching for a good primitive for a modular model construction and the introduction of coupling templates as standardised means to couple building block components. Assuming that the real-world system to be modeled has been analyzed in depth beforehand through a suitable system analysis method (which itself is beyond the scope of the article), we present a systematic step-by-step approach to construct a model in the Petri nets domain together with its experimental frame. The construction adheres to well-defined rules, which enable computer-based model construction. The input for this systematic bottom-up construction of Petri nets-models is information (about, e.g., primitive system components, entity flows, routing constructs) gathered from the top-down system analysis. In the article, attention is also paid to the algebraic backgrounds underlying the proposed model construction. These provide the basis for formal correctness proofs, mapping Petri nets onto DEVS-models, and complexity reduction of the found Petri nets-models. By offering to the model builder the possibility to handle multiple abstraction levels and by addressing important issues related to the interfacing question of coupled models and model components described in Petri nets and DEVS formalism, the authors' work addresses two of the main research directions of Computer Automated Multi-Paradigm Modeling ([Mosterman and Vangheluwe 2002]): &lt;i&gt;model abstraction&lt;\/i&gt; and &lt;i&gt;multiformalism modeling&lt;\/i&gt;. The article concludes with an illustrative application example.<\/jats:p>","DOI":"10.1145\/1029174.1029178","type":"journal-article","created":{"date-parts":[[2005,1,26]],"date-time":"2005-01-26T16:35:53Z","timestamp":1106757353000},"page":"389-423","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Modeling of discrete event systems"],"prefix":"10.1145","volume":"14","author":[{"given":"Carmen-Veronica","family":"Bobeanu","sequence":"first","affiliation":[{"name":"Ghent University, Technologiepark, Ghent, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene J. H.","family":"Kerckhoffs","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Mekelweg, Delft, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik Van","family":"Landeghem","sequence":"additional","affiliation":[{"name":"Ghent University, Technologiepark, Ghent, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,10]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Alla H. and Bobeanu C. V. 1997. An algebraic approach for the Petri nets modeling of discrete event systems. Stud. Inf. Cont. 6 4 (Dec.) 359--368.  Alla H. and Bobeanu C. V. 1997. An algebraic approach for the Petri nets modeling of discrete event systems. Stud. Inf. Cont. 6 4 (Dec.) 359--368."},{"key":"e_1_2_1_2_1","series-title":"Lecture Notes in Computer Science","volume-title":"A survey of basic net models and modular net classes","author":"Bernardinello L.","unstructured":"Bernardinello , L. and De Cindio , F. 1992. A survey of basic net models and modular net classes . In Lecture Notes in Computer Science , Vol. 609 , Springer-Verlag , New York . Bernardinello, L. and De Cindio, F. 1992. A survey of basic net models and modular net classes. In Lecture Notes in Computer Science, Vol. 609, Springer-Verlag, New York."},{"key":"e_1_2_1_3_1","volume-title":"Eds","author":"Billington J.","year":"1999","unstructured":"Billington , J. , Diaz , M. , and Rozenberg , G . Eds . 1999 . Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol. 1605 , Springer-Verlag , New York. Billington, J., Diaz, M., and Rozenberg, G. Eds. 1999. Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol. 1605, Springer-Verlag, New York."},{"volume-title":"Proceedings of the 10th European Simulation Symposium \"Simulation Technology: Science and Art\", ESS'98 (Nottingham, England). 453--459","author":"Bobeanu C. V.","key":"e_1_2_1_5_1","unstructured":"Bobeanu , C. V. and Kerckhoffs , E. J. H. 1998. An algebraic approach to modular synthesis of Petri nets based simulation models of production systems . In Proceedings of the 10th European Simulation Symposium \"Simulation Technology: Science and Art\", ESS'98 (Nottingham, England). 453--459 . Bobeanu, C. V. and Kerckhoffs, E. J. H. 1998. An algebraic approach to modular synthesis of Petri nets based simulation models of production systems. In Proceedings of the 10th European Simulation Symposium \"Simulation Technology: Science and Art\", ESS'98 (Nottingham, England). 453--459."},{"key":"e_1_2_1_6_1","unstructured":"Bobeanu C. V. and Kerckhoffs E. J. H. 1999. A systematic construction of Petri-nets models of discrete-event systems. In Szczerbicka H. (Ed.) Proceedings of the 13th European Simulation Multiconference \"Modeling and Simulation: A Tool for the Next Millennium\" ESM'99 (Warsaw Poland). H. Szczerbicka Ed. 49--55.  Bobeanu C. V. and Kerckhoffs E. J. H. 1999. A systematic construction of Petri-nets models of discrete-event systems. In Szczerbicka H. (Ed.) Proceedings of the 13th European Simulation Multiconference \"Modeling and Simulation: A Tool for the Next Millennium\" ESM'99 (Warsaw Poland). H. Szczerbicka Ed. 49--55."},{"volume-title":"Proceedings of the 13th European Simulation Symposium \"Simulation in Industry\", (ESS'01)","author":"Bobeanu C. V.","key":"e_1_2_1_7_1","unstructured":"Bobeanu , C. V. and Kerckhoffs , E. J. H. 2001. An algebraic approach to Petri nets-based representations of complex discrete event systems . In Proceedings of the 13th European Simulation Symposium \"Simulation in Industry\", (ESS'01) . (Marseille, France). 959--964. Bobeanu, C. V. and Kerckhoffs, E. J. H. 2001. An algebraic approach to Petri nets-based representations of complex discrete event systems. In Proceedings of the 13th European Simulation Symposium \"Simulation in Industry\", (ESS'01). (Marseille, France). 959--964."},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Dicesare F. Harhalakis G. Proth J. M. Silva M. and Vernadat F. B. 1993. Practice of Petri Nets in Manufacturing. Chapman and Hall.  Dicesare F. Harhalakis G. Proth J. M. Silva M. and Vernadat F. B. 1993. Practice of Petri Nets in Manufacturing. Chapman and Hall.","DOI":"10.1007\/978-94-011-6955-4"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the International Conference on Application and Theory of Petri Nets, (ICATPN'97)","author":"Donatelli S.","year":"1997","unstructured":"Donatelli , S. 1997 . An Introduction to Timed Petri Nets and Generalized Stochastic Petri Nets . In Proceedings of the International Conference on Application and Theory of Petri Nets, (ICATPN'97) . Introductory Tutorial. Donatelli, S. 1997. An Introduction to Timed Petri Nets and Generalized Stochastic Petri Nets. In Proceedings of the International Conference on Application and Theory of Petri Nets, (ICATPN'97). Introductory Tutorial."},{"key":"e_1_2_1_10_1","article-title":"An algebraic view on Petri nets","volume":"5","author":"Ehrig H.","year":"1997","unstructured":"Ehrig , H. and Reisig , W. 1997 . An algebraic view on Petri nets . Petri Net Newsl. 5 , 2, (Apr.), 8--13. Ehrig, H. and Reisig, W. 1997. An algebraic view on Petri nets. Petri Net Newsl. 5, 2, (Apr.), 8--13.","journal-title":"Petri Net Newsl."},{"volume-title":"Proceedings of the 9th European Simulation Symposium \"Simulation in Industry\", (ESS'97)","author":"Kerckhoffs E. J. H.","key":"e_1_2_1_11_1","unstructured":"Kerckhoffs , E. J. H. , Alla , H. , Bobeanu , C. V. , and Filip , F. G . 1997. Using a repository model base to support a Petri nets-based multifacetted modeling of complex manufacturing systems . In Proceedings of the 9th European Simulation Symposium \"Simulation in Industry\", (ESS'97) . (Erlangen). 728--735. Kerckhoffs, E. J. H., Alla, H., Bobeanu, C. V., and Filip, F. G. 1997. Using a repository model base to support a Petri nets-based multifacetted modeling of complex manufacturing systems. In Proceedings of the 9th European Simulation Symposium \"Simulation in Industry\", (ESS'97). (Erlangen). 728--735."},{"volume-title":"Proceedings of the 12th European Simulation Multiconference \"Simulation---Past, Present and Future\", (ESM'98)","author":"Kerckhoffs E. J. H.","key":"e_1_2_1_12_1","unstructured":"Kerckhoffs , E. J. H. , Alla , H. , and Bobeanu , C. V . 1998. A systematic method supporting Petri nets-based multifacetted modeling of complex production systems using object repositories . In Proceedings of the 12th European Simulation Multiconference \"Simulation---Past, Present and Future\", (ESM'98) . (Manchester, England). 112--118. Kerckhoffs, E. J. H., Alla, H., and Bobeanu, C. V. 1998. A systematic method supporting Petri nets-based multifacetted modeling of complex production systems using object repositories. In Proceedings of the 12th European Simulation Multiconference \"Simulation---Past, Present and Future\", (ESM'98). (Manchester, England). 112--118."},{"volume-title":"Proceedings of the 11th European Simulation Symposium \"Simulation in Industry\" (ESS'99)","author":"Kerckhoffs E. J. H.","key":"e_1_2_1_13_1","unstructured":"Kerckhoffs , E. J. H. and Bobeanu , C. V . 1999. A systematic approach to the synthesis of Petri-nets simulation models (and adjoint experimental frames) of discrete-event systems . In Proceedings of the 11th European Simulation Symposium \"Simulation in Industry\" (ESS'99) . (Erlangen). 66--73. Kerckhoffs, E. J. H. and Bobeanu, C. V. 1999. A systematic approach to the synthesis of Petri-nets simulation models (and adjoint experimental frames) of discrete-event systems. In Proceedings of the 11th European Simulation Symposium \"Simulation in Industry\" (ESS'99). (Erlangen). 66--73."},{"volume-title":"Proceedings of the 13th European Simulation Symposium \"Simulation in Industry\" (ESS'01)","author":"Kerckhoffs E. J. H.","key":"e_1_2_1_14_1","unstructured":"Kerckhoffs , E. J. H. and Bobeanu , C. V . 2001. Systematic structural modeling of discrete event systems using Petri nets . In Proceedings of the 13th European Simulation Symposium \"Simulation in Industry\" (ESS'01) . (Marseille, France). 949--958. Kerckhoffs, E. J. H. and Bobeanu, C. V. 2001. Systematic structural modeling of discrete event systems using Petri nets. In Proceedings of the 13th European Simulation Symposium \"Simulation in Industry\" (ESS'01). (Marseille, France). 949--958."},{"volume-title":"Proceedings of the IEEE International Symposium on Computer-Aided Control System Design","author":"Mosterman P. J.","key":"e_1_2_1_15_1","unstructured":"Mosterman , P. J. and Vangheluwe , H . 2000. Computer automated multi-paradigm modeling in control system design. Special issue guest editorial . In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design ( Anchorage, Alaska). 65--70. Mosterman, P. J. and Vangheluwe, H. 2000. Computer automated multi-paradigm modeling in control system design. Special issue guest editorial. In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design (Anchorage, Alaska). 65--70."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643121"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of IFIP Congress'62","author":"Petri C. A.","year":"1963","unstructured":"Petri , C. A. 1963 . Fundamentals of a theory of asynchronous information flow . In Proceedings of IFIP Congress'62 ( Amsterdam, The Netherlands), 386--389. Petri, C. A. 1963. Fundamentals of a theory of asynchronous information flow. In Proceedings of IFIP Congress'62 (Amsterdam, The Netherlands), 386--389."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00116-6"},{"key":"e_1_2_1_19_1","series-title":"Lecture Notes in Computer Science","volume-title":"Petri Nets: Advances in Petri nets","author":"Reisig W.","year":"1998","unstructured":"Reisig , W. and Rozenberg , G . 1998 . Lectures on Petri Nets: Advances in Petri nets . Lecture Notes in Computer Science , Vol. 1492 . Springer-Verlag Berlin Heidelberg , Germany. Reisig, W. and Rozenberg, G. 1998. Lectures on Petri Nets: Advances in Petri nets. Lecture Notes in Computer Science, Vol. 1492. Springer-Verlag Berlin Heidelberg, Germany."},{"key":"e_1_2_1_20_1","volume-title":"Lecture Notes in Computer Science","volume":"188","author":"Rozenberg G.","year":"1985","unstructured":"Rozenberg , G. (Ed.). 1985 . Advances in Petri Nets 1984 . Lecture Notes in Computer Science , vol. 188 . Springer-Verlag, New York. Rozenberg, G. (Ed.). 1985. Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol. 188. Springer-Verlag, New York."},{"key":"e_1_2_1_21_1","volume-title":"Lecture Notes in Computer Science","volume":"222","author":"Rozenberg G.","year":"1986","unstructured":"Rozenberg , G. (Ed.). 1986 . Advances in Petri Nets 1985 . Lecture Notes in Computer Science , vol. 222 . Springer-Verlag, New York. Rozenberg, G. (Ed.). 1986. Advances in Petri Nets 1985. Lecture Notes in Computer Science, vol. 222. Springer-Verlag, New York."},{"key":"e_1_2_1_22_1","volume-title":"Lecture Notes in Computer Science","volume":"266","author":"Rozenberg G.","year":"1987","unstructured":"Rozenberg , G. (Ed.). 1987 . Advances in Petri Nets 1987 . Lecture Notes in Computer Science , vol. 266 . Springer-Verlag, New York. Rozenberg, G. (Ed.). 1987. Advances in Petri Nets 1987. Lecture Notes in Computer Science, vol. 266. Springer-Verlag, New York."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0947-3580(97)70077-3","article-title":"Petri nets for the design and operation of manufacturing systems","volume":"8","author":"Silva M.","year":"1997","unstructured":"Silva , M. and Teruel , E. 1997 . Petri nets for the design and operation of manufacturing systems . Europ. J. Controly 8 , 182 -- 199 . Silva, M. and Teruel, E. 1997. Petri nets for the design and operation of manufacturing systems. Europ. J. Controly 8, 182--199.","journal-title":"Europ. J. Controly"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the 18th International Conference, ICATPN'97, \"Application and Theory of Petri Nets 1997\"","volume":"1248","author":"Valette R.","year":"1997","unstructured":"Valette , R. 1997 . Some issues about Petri net application to manufacturing and process supervisory control . In Proceedings of the 18th International Conference, ICATPN'97, \"Application and Theory of Petri Nets 1997\" ( Toulouse, France). Lecture Notes in Computer Science , vol. 1248 . Springer-Verlag, New York, 23--41. Valette, R. 1997. Some issues about Petri net application to manufacturing and process supervisory control. In Proceedings of the 18th International Conference, ICATPN'97, \"Application and Theory of Petri Nets 1997\" (Toulouse, France). Lecture Notes in Computer Science, vol. 1248. Springer-Verlag, New York, 23--41."},{"key":"e_1_2_1_25_1","volume-title":"(Eds.)","author":"Van der Aalst W. M. P.","year":"2000","unstructured":"Van der Aalst , W. M. P. , Desel , J. , and Oberweis , A . (Eds.) . 2000 . Business Process Management---Models, Techniques and Empirical Studies. Lecture Notes in Computer Science, vol. 1806 . Springer-Verlag , New York. Van der Aalst, W. M. P., Desel, J., and Oberweis, A. (Eds.). 2000. Business Process Management---Models, Techniques and Empirical Studies. Lecture Notes in Computer Science, vol. 1806. Springer-Verlag, New York."},{"volume-title":"Proceedings of the 15th European Simulation Multiconference \"Modeling and Simulation 2001\", ESM'2001 (Prague, Czech Republic). 7--18","author":"Vangheluwe H.","key":"e_1_2_1_26_1","unstructured":"Vangheluwe , H. , Kerckhoffs , E. J. H. , and Vansteenkiste , G . 2001. Computer automated modeling of complex systems . In Proceedings of the 15th European Simulation Multiconference \"Modeling and Simulation 2001\", ESM'2001 (Prague, Czech Republic). 7--18 . Vangheluwe, H., Kerckhoffs, E. J. H., and Vansteenkiste, G. 2001. Computer automated modeling of complex systems. In Proceedings of the 15th European Simulation Multiconference \"Modeling and Simulation 2001\", ESM'2001 (Prague, Czech Republic). 7--18."},{"volume-title":"Multifacetted Modeling and Discrete Event Simulation","author":"Zeigler B. P.","key":"e_1_2_1_27_1","unstructured":"Zeigler , B. P. 1984. Multifacetted Modeling and Discrete Event Simulation . Academic Press, Inc. , Orlando, Fla . Zeigler, B. P. 1984. Multifacetted Modeling and Discrete Event Simulation. Academic Press, Inc., Orlando, Fla."},{"volume-title":"Modular Models. Intelligent Agents and Endomorphic Systems","author":"Zeigler B. P.","key":"e_1_2_1_28_1","unstructured":"Zeigler , B. P. 1990. Object-Oriented Simulation with Hierarchical , Modular Models. Intelligent Agents and Endomorphic Systems . Academic Press, Inc. , Orlando, Fla . Zeigler, B. P. 1990. Object-Oriented Simulation with Hierarchical, Modular Models. Intelligent Agents and Endomorphic Systems. Academic Press, Inc., Orlando, Fla."},{"volume-title":"A framework for modeling & simulation. Applied Modeling & Simulation: An Integrated Approach to Development & Operation","author":"Zeigler B. P.","key":"e_1_2_1_29_1","unstructured":"Zeigler , B. P. 1997. A framework for modeling & simulation. Applied Modeling & Simulation: An Integrated Approach to Development & Operation , McGraw-Hill , New York . Zeigler, B. P. 1997. A framework for modeling & simulation. Applied Modeling & Simulation: An Integrated Approach to Development & Operation, McGraw-Hill, New York."},{"key":"e_1_2_1_30_1","unstructured":"Zeigler B. P. Praehofer H. and Kim T. G. 2000. Theory of Modeling and Simulation 2nd Edition Academic Press Orlando Fla.   Zeigler B. P. Praehofer H. and Kim T. G. 2000. Theory of Modeling and Simulation 2nd Edition Academic Press Orlando Fla."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875449"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1029174.1029178","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1029174.1029178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:07Z","timestamp":1750264267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1029174.1029178"}},"subtitle":["A holistic and incremental approach using Petri nets"],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["10.1145\/1029174.1029178"],"URL":"https:\/\/doi.org\/10.1145\/1029174.1029178","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"type":"print","value":"1049-3301"},{"type":"electronic","value":"1558-1195"}],"subject":[],"published":{"date-parts":[[2004,10]]},"assertion":[{"value":"2004-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}