{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:30:10Z","timestamp":1743129010210,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637462"},{"type":"electronic","value":"9783540696407"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052090","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:02:10Z","timestamp":1149656530000},"page":"219-231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A uniform approach to Petri Nets"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"J.","family":"Padberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"19_CR1","unstructured":"J. Adamek, H. Herrlich, and G. Strecker, Abstract and concrete categories, Series in Pure and Applied Mathematics, John Wiley and Sons, 1990."},{"key":"19_CR2","first-page":"20","volume-title":"Advances in Petri nets","author":"E. Battiston","year":"1988","unstructured":"E. Battiston, F. De Cindio, and G. Mauri, OBJSA nets: a class of high-level nets having objects as domains, Advances in Petri nets (G. Rozenberg, ed.), vol. 340, Springer Verlag Berlin, 1988, pp. 20\u201343."},{"key":"19_CR3","first-page":"21","volume":"609","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. Hall, The Box Calculus: a new causal algebra with multi-label communication, Advances in Petri Nets, 1992, 609, pp. 21\u201369.","journal-title":"Advances in Petri Nets"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"W. Brauer, R. Gold, and W. Vogler, A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets, Advances in Petri Nets, LNCS 483 (1990).","DOI":"10.1007\/3-540-53863-1_19"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"W. Brauer (ed.), Net Theory and Aplications, Springer, LNCS 84, 1980.","DOI":"10.1007\/3-540-100016"},{"key":"19_CR6","first-page":"3","volume":"16","author":"W. Brauer","year":"1984","unstructured":"Wilfried Brauer, How to play the token game, Petri Net Newsletter 16 (1984), 3\u201313.","journal-title":"Petri Net Newsletter"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"W. Brauer, W. Reisig, and G. Rozenberg (eds.), Petri Nets: Applications and Relations to Other Models of Concurrency, Springer, LNCS 255, 1987.","DOI":"10.1007\/3-540-17906-2"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"W. Brauer, W. Reisig, and G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties, Springer, LNCS 254, 1987.","DOI":"10.1007\/978-3-540-47919-2"},{"key":"19_CR9","unstructured":"H. Ehrig, M. Gro\u00dfe-Rhode, and A. Heise, Specification techniques for concurrent and distributed systems, Tech. Report 92\/5, Jan. 1992."},{"key":"19_CR10","volume-title":"On the role of category theory in the area of algebraic specifications","author":"H. Ehrig","year":"1996","unstructured":"H. Ehrig, M. Gro\u00dfe-Rhode, and Uwe Wolter, On the role of category theory in the area of algebraic specifications, LNCS, Proc. WADT11, Oslo, 1996."},{"key":"19_CR11","unstructured":"H. Ehrig and B. Mahr, Fundamentals of algebraic specifications 1: Equations and initial semantics, EACTS Monographs on Theoretical Computer Science, vol. 6, Berlin, 1985."},{"key":"19_CR12","unstructured":"H. Ehrig and W. Reisig, Integration of Algebraic Specifications and Petri Nets, Bulletin EATCS, Formal Specification Column (1996), submitted."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"H.J. Genrich and K. Lautenbach, System modelling with high-level Petri nets, 109\u2013136.","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured petri nets and the invariant method, 317\u2013336.","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Kurt Jensen, Coloured Petri nets. basic concepts, analysis methods and practical use, vol. 1, Springer, 1992.","DOI":"10.1007\/978-3-662-06289-0_1"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"H. Klaudel and E. Pelz, Communication as unification in the Petri Box Calculus, Tech. report, LRI, Universite de Paris Sud, 1995.","DOI":"10.1007\/3-540-60249-6_62"},{"issue":"no.2","key":"19_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari, Petri nets are monoids, Information and Computation 88 (1990), no. 2, 105\u2013155.","journal-title":"Information and Computation"},{"key":"19_CR18","unstructured":"J. Padberg, Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement, Ph.D. thesis, Technical University Berlin, 1996, Shaker Verlag."},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro, Algebraic high-level net transformation systems, Mathematical Structures in Computer Science 5 (1995), 217\u2013256.","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR20","unstructured":"W. Reisig, Petri nets, EATCS Monographs on Theoretical Computer Science, vol. 4, Springer-Verlag, 1985."},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig, Petri nets and abstract data types, Theoretical Computer Science 80 (1991), 1\u201334 (fundamental studies).","journal-title":"Theoretical Computer Science"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/BFb0027048","volume":"224","author":"G. Rozenberg","year":"1986","unstructured":"G. Rozenberg and P.S. Thiagarajan, Petri nets: Basic notions, structure, behaviour, Current Trends in Concurrency, 1986, 224, pp. 585\u2013668.","journal-title":"Current Trends in Concurrency"},{"key":"19_CR23","unstructured":"J. Vautherin, Parallel specification with coloured Petri nets and algebraic data types, Proc. of the 7th European Workshop on Application and Theory of Petri nets (Oxford, England), jul. 1986, pp. 5\u201323."}],"container-title":["Lecture Notes in Computer Science","Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:07:32Z","timestamp":1736406452000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0052090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637462","9783540696407"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0052090","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"16 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}