{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:02:12Z","timestamp":1780628532550,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430674","type":"print"},{"value":"9783540455417","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45541-8_1","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T06:55:33Z","timestamp":1187247333000},"page":"1-25","source":"Crossref","is-referenced-by-count":66,"title":["\u201cWhat Is a Petri Net?\u201d Informal Answers for the Informed Reader"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriel","family":"Juh\u00e1s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"1_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.) Business Process Management. Springer, LNCS 1806, 2000."},{"issue":"10","key":"1_CR2","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"W.M.P. van der Aalst. Formalization and Verification of Event-Driven Process Chains. Information and Software Technology, 41(10):639\u2013650, 1999.","journal-title":"Information and Software Technology"},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-45594-9_3","volume-title":"Business Process Management","author":"J. Becker","year":"2000","unstructured":"J. Becker, M. Rosemann and C. von Uthmann. Guidelines of Business Process Modeling. In J. Desel and A. Oberweis (Eds.) Business Process Management. Springer, LNCS 1806, 2000 [1], pp. 30\u201349."},{"key":"1_CR4","unstructured":"R. Bruni and V. Sassone. Two Algebraic Process Semantics for Contextual Nets. In this volume."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge Tracs in Theoretical Computer Science 40, Cambridge University Press 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"1_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BFb0052098","volume-title":"Foundations of Computer Science: Potential-Theory-Cognition","author":"J. Desel","year":"1997","unstructured":"J. Desel. How Distributed Algorithms Play the Token Game. In C. Freksa, M. Jantzen and R. Valk (Eds.) Foundations of Computer Science: Potential-Theory-Cognition, Springer, LNCS 1337, pp. 297\u2013306, 1997."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"J. Desel, K.-P. Neuendorf and M.-D. Radola. Proving Nonreachability by Modulo-Invariants. Theoretical Computer Science, 153(1\u20132): 49\u201364.","DOI":"10.1016\/0304-3975(95)00117-4"},{"key":"1_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"J. Desel and W. Reisig. Place\/Transition Petri Nets. In G. Rozenberg (Eds.). Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Springer, LNCS 1491, 1998 [25], pp. 122\u2013173."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"J. Desel. Petrinetze, lineare Algebra und lineare Programmierung. Teubner-Texte zur Informatik, Band 26, B. G. Teubner, 1998.","DOI":"10.1007\/978-3-322-95382-7"},{"key":"1_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-45594-9_8","volume-title":"Business Process Management","author":"J. Desel","year":"2000","unstructured":"J. Desel. Validation of Process Models by Construction of Process Nets. In J. Desel and A. Oberweis (Eds.) Business Process Management. Springer, LNCS 1806, 2000 [1], pp. 110\u2013128."},{"key":"1_CR11","unstructured":"J. Desel, G. Juh\u00e1s and R. Lorenz. Petri Nets over Partial Algebra. In this volume."},{"key":"1_CR12","unstructured":"J. Desel, G. Juh\u00e1s and R. Lorenz. Process Semantics and Process Equivalence of NCEM. In S. Philippi (Ed.) Proc. 7. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze AWPN\u201900, Fachberichte Informatik, Universit\u00e4t Koblenz-Landau, pp. 7\u201312, October 2000."},{"key":"1_CR13","unstructured":"C. Ermel and M. Weber. Implementation of Parametrized Net Classes with the Petri Net Kernel. In this volume."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"R. Eshuis and R. Wieringa. A formal semantics for UML activity diagrams, 2000. Available at http:\/\/www.cs.utwente.nl\/ eshuis\/sem.ps .","DOI":"10.1007\/3-540-45314-8_7"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"J. Esparza. Model checking using net unfoldings. Science of Computer Programming 23(2): 151\u2013195, 1994.","journal-title":"Science of Computer Programming"},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Esparza","year":"1998","unstructured":"J. Esparza. Decidability and Complexity of Petri Net Problems \u2014An Introduction. In G. Rozenberg (Eds.). Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Springer, LNCS 1491, 1998 [25], pp. 374\u2013428."},{"key":"1_CR17","unstructured":"M. Gajewsky and H. Ehrig. The PNT-Baukasten and its Expert View. In this volume."},{"key":"1_CR18","unstructured":"T. Gehrke, U. Goltz and H. Wehrheim. Zur semantischen Analyse der dynamischen Modelle von UML mit Petri-Netzen. In E. Schnieder (Ed.): Tagungsband der 6. Fachtagung Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA\u2019 99), pp. 547\u2013566, Beyrich, Braunschweig, 1999."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"H.-M. Hanisch and M. Rausch. Synthesis of Supervisory Controllers Based on a Novel Representation of Condition\/Event Systems. In Proc. IEEE International Conference on Systems Man and Cybernetics, Vancouver, British Columbia, Canada, October 22\u201325, 1995.","DOI":"10.1109\/ICSMC.1995.538253"},{"key":"1_CR20","unstructured":"M. J\u00fcngel, E. Kindler and M. Weber. The Petri Net Markup Language. In S. Philippi (Ed.) Proc. 7. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze AWPN\u201900, Fachberichte Informatik, Universit\u00e4t Koblenz-Landau, pp. 47\u201352, October 2000."},{"key":"1_CR21","unstructured":"J. Meseguer, P. \u00d6lveczky, and M.-O. Stehr. Rewriting Logic as a Unifying Framework for Petri Nets. In this volume."},{"key":"1_CR22","unstructured":"J. Padberg and H. Ehrig. Parametrized Net Classes: A uniform approach to net classes. In this volume."},{"key":"1_CR23","unstructured":"C. A. Petri. Kommunikation mit Automaten. PhD thesis, Univ. Bonn, 1962."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"W. Reisig. A Primer in Petri Net Design. Springer, 1992.","DOI":"10.1007\/978-3-642-75329-9"},{"key":"1_CR25","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg (Eds.). Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Springer, LNCS 1491, 1998."},{"key":"1_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets II: Applications","year":"1998","unstructured":"W. Reisig and G. Rozenberg (Eds.). Lectures on Petri Nets II: Applications. Advances in Petri Nets, Springer, LNCS 1491, 1998."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"W. Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, 1998.","DOI":"10.1007\/978-3-662-03687-7"},{"issue":"1","key":"1_CR28","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/TSE.1977.229899","volume":"SE-3","author":"D. Ross","year":"1977","unstructured":"D. Ross and K. Schoman. Structured analysis for requirements definition. IEEE Transactions on Software Engineering Vol. SE-3, No. 1, pp. 6\u201315, 1977.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"F. J. Rump. Gesch\u00e4ftsprozes management auf der Basis ereignisgesteuerter Proze\u00dfketten. Teubner-Reihe Wirtschaftsinformatik, B. G. Teubner, 1999.","DOI":"10.1007\/978-3-322-89878-4"},{"key":"1_CR30","unstructured":"J. Rumbaugh, I. Jacobson, G. Booch. The unified Modeling Language Reference Manual. Addison-Wesley, 1999."},{"key":"1_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45594-9_24","volume-title":"Business Process Management","author":"A.-W. Scheer","year":"2000","unstructured":"A.-W. Scheer and M. N\u00fcttgens. ARIS Architecture and Reference Models for Business Process Management. In J. Desel and A. Oberweis (Eds.) Business Process Management. Springer, LNCS 1806, 2000 [1] pp. 376\u2013390."},{"key":"1_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-65306-6_16","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Smith","year":"1998","unstructured":"E. Smith. Principles of high-level net theory. In G. Rozenberg (Eds.). Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Springer, LNCS 1491, 1998 [25], pp. 174\u2013210."},{"key":"1_CR33","doi-asserted-by":"crossref","first-page":"2899","DOI":"10.23919\/ACC.1991.4791934","volume":"3","author":"R. S. Sreenivas","year":"1991","unstructured":"R. S. Sreenivas and B. H. Krogh Petri Net Based Models for Condition\/Event Systems. In Proceedings of 1991 American Control Conference, vol. 3, pp. 2899\u20132904, Boston, MA, 1991.","journal-title":"Proceedings of 1991 American Control Conference"},{"key":"1_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"A. Valmari. The State Explosion Problem. In G. Rozenberg (Eds.). Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Springer, LNCS 1491, 1998 [25], pp. 429\u2013528."},{"key":"1_CR35","unstructured":"H. Weber, H. Ehrig and W. Reisig (Eds.). Proc. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Berlin, October 1999."},{"key":"1_CR36","unstructured":"H. Weber, S. Lembke and A. Borusan. Petri Nets Made Usable: The Petri Net Baukasten for Application Development. In this volume."}],"container-title":["Lecture Notes in Computer Science","Unifying Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45541-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:24:57Z","timestamp":1556756697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}