{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:22:28Z","timestamp":1776885748050,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":78,"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_9","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T10:55:33Z","timestamp":1187261733000},"page":"250-303","source":"Crossref","is-referenced-by-count":42,"title":["Rewriting Logic as a Unifying Framework for Petri Nets"],"prefix":"10.1007","author":[{"given":"Mark-Oliver","family":"Stehr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","first-page":"453","volume-title":"Application and Theory of Petri Nets 1993","author":"W. M. P. Aalst van der","year":"1993","unstructured":"W. M. P. van der Aalst. Interval timed coloured Petri nets and their analysis. In M. A. Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453\u2013472. Springer, 1993."},{"issue":"6","key":"9_CR2","first-page":"541","volume":"10","author":"N. A. Anisimov","year":"1991","unstructured":"N. A. Anisimov. An algebra of regular macronets for formal specification of communication protocols. Computers and Artificial Intelligence, 10(6):541\u2013560, 1991.","journal-title":"Computers and Artificial Intelligence"},{"key":"9_CR3","unstructured":"N. A. Anisimov, K. Kishinski, A. Miloslavski, and P. A. Postupalski. Macroplaces in high level Petri nets: Application for design inbound call center. In Proceedings of the Int. Conference on Information System Analysis and Synthesis (ISAS\u201996), Orlando, FL, USA, pages 153\u2013160, July 1996."},{"key":"9_CR4","unstructured":"A. Asperti. A logic for concurrency. unpublished manuscript, November 1987."},{"key":"9_CR5","series-title":"Lect Notes Comput Sci","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. In G. Rozenberg, editor, Advances in Petri Nets, volume 340 of Lecture Notes in Computer Science. Springer-Verlag, 1988."},{"key":"9_CR6","unstructured":"B. Berthomieu, N. Choquet, C. Colin, B. Loyer, J. M. Martin, and A. Mauboussin. Abstract data nets: Combining Petri nets and abstract data types for high level specifications of distributed systems. In Proc. of the Seventh Workshop on Applications and Theory of Petri Nets, Oxford, UK, pages 25\u201348, 1986."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science, 55:87\u2013136, 1987.","journal-title":"Theoretical Computer Science"},{"key":"9_CR8","unstructured":"E. Best and C. Fernandez. Nonsequential Processes\u2014A Petri Net View, volume 13 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1988."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science, 236:35\u2013132, 2000.","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","unstructured":"C. Brown. Relating Petri nets to formulae of linear logic. Technical Report ECS-LFCS-89-87, Laboratory of Foundations of Computer Science, University of Edinburgh, June 1989."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"C. Brown and D. Gurr. A categorical linear framework for Petri nets. In Proc. Fifth Annual IEEE Symposium on Logic in Computer Science, pages 208\u2013218, June 1990.","DOI":"10.1109\/LICS.1990.113747"},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-49366-2_18","volume-title":"Proceedings of ASIAN\u201998, 4th Asian Computing Science Conference","author":"R. Bruni","year":"1998","unstructured":"R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. A comparison of Petri net semantics under the collective token philosophy. In J. Hsiang and A. Ohori, editors, Proceedings of ASIAN\u201998, 4th Asian Computing Science Conference, volume 1538 of Lecture Notes in Computer Science, pages 225\u2013244. Springer-Verlag, 1998."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial semantics for Petri nets under the individual token philosophy. In Proc. Category Theory and Computer Science, Edinburgh, Scottland, September 1999, volume 29 of Electronic Notes in Theoretical Computer Science. Elsevier, 1999. http:\/\/www.elsevier.nl\/locate\/entcs\/volume29.html .","DOI":"10.1016\/S1571-0661(05)80302-0"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(05)80302-0","volume":"29","author":"R. Bruni","year":"1999","unstructured":"R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial semantics for petri nets under the individual token philosophy. In Electronic Notes in Theoretical Computer Science: Proceedings of CTCS\u201999, 8th Conference on Category Theory and Computer Science, volume 29, pages 1\u201319. Elsevier Science, 1999.","journal-title":"Electronic Notes in Theoretical Computer Science: Proceedings of CTCS\u201999, 8th Conference on Category Theory and Computer Science"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"R. Bruni and V. Sassone. Algebraic models for contextual nets. In U. Montanari, J. D. P. Rolim, and E. Welzl, editors, Automata, Languages and Programming. Proceedings 2000., volume 1853. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-45022-X_15"},{"key":"9_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Application and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"S. Christensen and N. D. Hansen. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. In M. A. Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, 1993."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"M. Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.","DOI":"10.1016\/S1571-0661(05)82553-8"},{"key":"9_CR18","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. A tutorial on Maude. SRI International, March 2000, http:\/\/maude.csl.sri.com ."},{"key":"9_CR19","volume-title":"Maude: Specification and Programming in Rewriting Logic","author":"M. Clavel","year":"1999","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Computer Science Laboratory, SRI International, Menlo Park, 1999. http:\/\/maude.csl.sri.com ."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Towards Maude 2.0. In K. Futatsugi, editor, Third International Workshop on Rewriting Logic and its Applications (WRLA\u20192000), Kanazawa, Japan, September 18\u201320, 2000, volume 36 of Electronic Notes in Theoretical Computer Science, pages 297\u2013318. Elsevier, 2000. http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html .","DOI":"10.1016\/S1571-0661(05)80137-9"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s002360050064","volume":"33","author":"P. Degano","year":"1996","unstructured":"P. Degano, J. Meseguer, and U. Montanari. Axiomizing the algebra of net computations and processes. Acta Informatica, 33:641\u2013667, 1996.","journal-title":"Acta Informatica"},{"key":"9_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019971","volume-title":"Advances in Petri Nets 1991","author":"C. Dimitrovici","year":"1991","unstructured":"C. Dimitrovici, U. Hummert, and L. Petrucci. Semantics, composition and net properties of algebraic high-level nets. In G. Rozenberg, editor, Advances in Petri Nets 1991, volume 524 of Lecture Notes in Computer Science. Springer-Verlag, 1991."},{"key":"9_CR23","unstructured":"F. Dur\u00e1n and J. Meseguer. Structured theories and institutions. In M. Hofmann, G. Rosolini, and D. Pavlovi\u0107, editors, Proceedings of CTCS\u201999, 8th Conference on Category Theory and Computer Science, Edinburgh, Scotland, U.K., September 10\u201312, 1999, volume 29, pages 71\u201390. Elsevier, 1999. http:\/\/www.elsevier.nl\/locate\/entcs\/volume29.html ."},{"key":"9_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BFb0052090","volume-title":"Foundations of Computer Science: Potential-Theory-Cognition","author":"H. Ehrig","year":"1997","unstructured":"H. Ehrig and J. Padberg. Uniform approach to Petri nets. In C. Freksa, M. Jantzen, and R. Valk, editors, Foundations of Computer Science: Potential-Theory-Cognition, volume 1337 of Lecture Notes in Computer Science, pages 219\u2013231. Springer-Verlag, August 1997."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic high-level nets: Petri nets revisited. In Recent Trends in Data Type Specification, volume 785 of Springer-Verlag, pages 188\u2013206, 1994.","DOI":"10.1007\/3-540-57867-6_11"},{"key":"9_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-52590-4_46","volume-title":"CAAP\u201990","author":"U. Engberg","year":"1990","unstructured":"U. Engberg and G. Winskel. Petri nets as models of linear logic. In A. Arnold, editor, CAAP\u201990, volume 431 of Lecture Notes in Computer Science, pages 147\u2013161. Springer-Verlag, 1990."},{"key":"9_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-55610-9_171","volume-title":"Advances in Petri Nets 1992","author":"J. Fanchon","year":"1992","unstructured":"J. Fanchon. FIFO-net models for processes with asynchronous communication. In G. Rozenberg, editor, Advances in Petri Nets 1992, volume 609 of Lecture Notes in Computer Science, pages 152\u2013178. Springer-Verlag, 1992."},{"issue":"3","key":"9_CR28","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1999-37303","volume":"37","author":"B. Farwer","year":"1999","unstructured":"B. Farwer. A linear logic view of object Petri nets. Fundamenta Informaticae, 37(3):225\u2013246, 1999.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"9_CR29","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF00268843","volume":"25","author":"A. Finkel","year":"1988","unstructured":"A. Finkel and A. Choquet. FIFO nets without order deadlock. Acta Informatica, 25(1):15\u201336, 1988.","journal-title":"Acta Informatica"},{"key":"9_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BFb0036474","volume-title":"6th GI-Conference on Theoretical Computer Science, Dortmund","author":"A. Finkel","year":"1982","unstructured":"A. Finkel and G. Memmi. FIFO nets: New model of parallel computation. In 6th GI-Conference on Theoretical Computer Science, Dortmund, volume 145 of Lecture Notes in Computer Science, pages 111\u2013121. Springer-Verlag, 1982."},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"H. J. Genrich. Equivalence transformation of PrT-nets. In G. Rozenberg, editor, Advances in Petri Nets 1989, volume 424, pages 179\u2013208. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52494-0_30"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"H. J. Genrich. Predicate\/transition nets. In High-Level Petri Nets: Theory and Practice, pages 3\u201343. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"9_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0022467","volume-title":"Semantics of Concurrent Computation","author":"H. J. Genrich","year":"1979","unstructured":"H. J. Genrich and K. Lautenbach. The analysis of distributed systems by means of predicate\/transition-nets. In G. Kahn, editor, Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, pages 123\u2013146, Berlin, 1979. Springer-Verlag."},{"key":"9_CR34","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9_CR35","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"9_CR36","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets 1993","author":"H. M. Hanisch","year":"1993","unstructured":"H. M. Hanisch. Analysis of place\/transition nets with timed arcs and its application to batch process control. In M. A. Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 282\u2013299. Springer, 1993."},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"K. Hoffmann. Run time modification of algebraic high level nets and algebraic higher order nets using folding and unfolding construction. In G. Hommel, editor, Communication-Based Systems, Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March\u20131 April 2000, pages 55\u201372. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-94-015-9608-4_5"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri nets and the invariant-method. Theoretical Computer Science, pages 317\u2013336, 1981.","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"9_CR39","unstructured":"K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use., volume 1 of EATCS monographs on theoretical computer science. Springer-Verlag, 1992."},{"key":"9_CR40","first-page":"479","volume":"3","author":"E. Kettunen","year":"1988","unstructured":"E. Kettunen, E. Montonen, and T. Tuuliniemi. Comparison of Pr-net based channel models. In Proc. of the 12th IMACS World Conf., volume 3, pages 479\u2013482, 1988.","journal-title":"Proc. of the 12th IMACS World Conf."},{"key":"9_CR41","unstructured":"E. Kindler and W. Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, (51):16\u201331, December 1996."},{"key":"9_CR42","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BF01211299","volume":"9","author":"E. Kindler","year":"1997","unstructured":"E. Kindler, W. Reisig, H. V\u00f6lzer, and R. Walter. Petri net based verification of distributed algorithms: An example. Formal Aspects of Computing, 9:409\u2013424, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR43","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/3-540-69108-1_19","volume-title":"Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN\u201998, Lisbon, Portugal, June 1998, Proceedings","author":"E. Kindler","year":"1998","unstructured":"E. Kindler and H. V\u00f6lzer. Flexibility in algebraic nets. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN\u201998, Lisbon, Portugal, June 1998, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 345\u2013384. Springer-Verlag, 1998."},{"key":"9_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Application and Theory of Petri Nets","author":"C. A. Lakos","year":"1995","unstructured":"C. A. Lakos. From coloured Petri nets to object Petri nets. In M. Diaz G. De Michelis, editor, Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 278\u2013297, Berlin, 1995. Springer-Verlag."},{"key":"9_CR45","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1017\/S0960129500000062","volume":"1","author":"N. Mart\u00ed-Oliet","year":"1991","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. From Petri nets to linear logic. Mathematical Structures in Computer Science, 1:69\u2013101, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"9_CR46","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"2","author":"N. Mart\u00ed-Oliet","year":"1991","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. From Petri nets to linear logic through categories: A survey. International Journal of Foundations of Computer Science, 2(4):297\u2013399, 1991.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"9_CR47","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et al., editors, Proceedings, Logic Colloquium, 1987, pages 275\u2013329. North-Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"9_CR48","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"9_CR50","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-61604-7_64","volume-title":"Proc. Concur\u201996","author":"J. Meseguer","year":"1996","unstructured":"J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In U. Montanari and V. Sassone, editors, Proc. Concur\u201996, volume 1119 of Lecture Notes in Computer Science, pages 331\u2013372. Springer, 1996."},{"key":"9_CR51","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT\u2019 97, Tarquinia, Italy, June 3\u20137, 1997, Selected Papers","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT\u2019 97, Tarquinia, Italy, June 3\u20137, 1997, Selected Papers, volume 1376 of Lecture Notes in Computer Science, pages 18\u201361. Springer-Verlag, 1998."},{"issue":"2","key":"9_CR52","doi-asserted-by":"crossref","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(2):105\u2013155, October 1990.","journal-title":"Information and Computation"},{"key":"9_CR53","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/BFb0084798","volume-title":"Proceedings of the Concur\u201992 Conference, Stony Brook, New York, August 1992","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Petri nets. In W.R. Cleaveland, editor, Proceedings of the Concur\u201992 Conference, Stony Brook, New York, August 1992, volume 630 of Lecture Notes in Computer Science, pages 286\u2013301. Springer-Verlag, 1992."},{"key":"9_CR54","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-58152-9_3","volume-title":"Proceedings 15th International Conference on Application and Theory of Petri Nets","author":"J. Meseguer","year":"1994","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. On the model of computation of place\/transition Petri nets. In Proceedings 15th International Conference on Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 16\u201338. Springer-Verlag, 1994."},{"issue":"1\u20132","key":"9_CR55","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(95)00121-2","volume":"153","author":"J. Meseguer","year":"1996","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. Process versus unfolding semantics for place\/transition Petri nets. Theoretical Computer Science, 153(1\u20132):171\u2013210, 1996.","journal-title":"Theoretical Computer Science"},{"key":"9_CR56","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BFb0052092","volume-title":"Foundations of Computer Science: Potential, Theory, Cognition","author":"J. Meseguer","year":"1997","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. Representation theorems for Petri nets. In C. Freska, M. Jantzen, and R. Valk, editors, Foundations of Computer Science: Potential, Theory, Cognition, volume 1337 of Lecture Notes in Computer Science, pages 239\u2013249. Springer-Verlag, 1997."},{"key":"9_CR57","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/3-540-48320-9_29","volume-title":"Proc. CONCUR\u201999, Eindhoven, The Netherlands, August 1999","author":"J. Meseguer","year":"1999","unstructured":"J. Meseguer and C. Talcott. A partial order event model for concurrent objects. In Proc. CONCUR\u201999, Eindhoven, The Netherlands, August 1999, volume 1664 of Lecture Notes in Computer Science, pages 415\u2013430. Springer-Verlag, 1999."},{"key":"9_CR58","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32:545\u2013596, 1995.","journal-title":"Acta Informatica"},{"key":"9_CR59","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF00365334","volume":"3","author":"S. Morasca","year":"1991","unstructured":"S. Morasca, M. Pezz\u00e8, and M. Trubian. Timed high-level nets. The Journal of Real-Time Systems, 3:165\u2013189, 1991.","journal-title":"The Journal of Real-Time Systems"},{"key":"9_CR60","unstructured":"P. C. \u00d6lveczky. Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic. PhD thesis, University of Bergen, 2000. Available at http:\/\/maude.csl.sri.com\/papers ."},{"key":"9_CR61","doi-asserted-by":"crossref","unstructured":"P. C. Olveczky and J. Meseguer. Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems. In Third International Workshop on Rewriting Logic and its Applications, 2000. To appear in Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(05)80134-3"},{"key":"9_CR62","unstructured":"P. C. \u00d6lveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. To appear in Theoretical Computer Science. Available at http:\/\/maude.csl.sri.com\/papers , September 2000."},{"issue":"1\u20132","key":"9_CR63","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00116-6","volume":"153","author":"C. A. Petri","year":"1996","unstructured":"C. A. Petri. Nets, time and space. Theoretical Computer Science, 153(1\u20132):3\u201348, 1996.","journal-title":"Theoretical Computer Science"},{"key":"9_CR64","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 algebraic specifications. Theoretical Computer Science, 80:1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"9_CR65","doi-asserted-by":"crossref","unstructured":"W. Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03687-7"},{"key":"9_CR66","first-page":"51","volume-title":"Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets","author":"W. Reisig","year":"1987","unstructured":"W. Reisig and J. Vautherin. An algebraic approach to high level Petri nets. In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, pages 51\u201372. Universidad de Zaragoza (Spain), 1987."},{"key":"9_CR67","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Application and Theory of Petri Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc. Cooperative nets. In R. Valette, editor, Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 471\u2013490, Berlin, 1994. Springer-Verlag."},{"key":"9_CR68","doi-asserted-by":"crossref","unstructured":"M.-O. Stehr. CINNI-A Generic Calculus of Explicit Substitutions and its Application to lambda-, sigma-and pi-calculi. In K. Futatsugi, editor, Third International Workshop on Rewriting Logic and its Applications (WRLA\u2019 2000), Kanazawa, Japan, September 18\u201320, 2000, volume 36 of Electronic Notes in Theoretical Computer Science, pages 71\u201392. Elsevier, 2000. http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html .","DOI":"10.1016\/S1571-0661(05)80125-2"},{"key":"9_CR69","unstructured":"M.-O. Stehr. A rewriting semantics for algebraic nets. In C. Girault and R. Valk, editors, Petri Nets for Systems Engineering-A Guide to Modelling, Verification, and Applications. Springer-Verlag, 2001. To appear."},{"key":"9_CR70","unstructured":"M.-O. Stehr and J. Meseguer. Pure type systems in rewriting logic. In Proc. of LFM\u201999: Workshop on Logical Frameworks and Meta-languages, Paris, France, September 28, 1999."},{"key":"9_CR71","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"79","author":"A. Tarlecki","year":"1991","unstructured":"A. Tarlecki, R. M. Burstall, and J. A. Goguen. Some fundamental algebraic tools for the semantics of computation, III: indexed categories. Theoretical Computer Science, 79:239\u2013264, 1991.","journal-title":"Theoretical Computer Science"},{"key":"9_CR72","unstructured":"R. Valk. Petri nets as dynamical objects. In Workshop Proc. 16th International Conf. on Application and Theory of Petri Nets, Torino, Italy, June 1995."},{"key":"9_CR73","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Lissabon, June 22\u201326, 1998","author":"R. Valk","year":"1998","unstructured":"R. Valk. Petri nets as token objects: An introduction to elementary object nets. In J. Desel and M. Silva, editors, Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Lissabon, June 22\u201326, 1998, volume 1420 of Lecture Notes in Computer Science, pages 1\u201325. Springer-Verlag, 1998."},{"key":"9_CR74","unstructured":"R. Valk. Relating Different Semantics for Object Petri Nets. Technical report, FBI-HH-B-266\/00, Fachbereich Informatik, Universit\u00e4t Hamburg, 2000."},{"key":"9_CR75","unstructured":"J. Vautherin. Un Modele Algebrique, Base sur les Reseaux de Petri, pour l\u2019Etude des Systemes Paralleles. These de Docteur Ingenieur, Univ. de Paris-Sud, Centre d\u2019Orsay, June 1985."},{"key":"9_CR76","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume":"266","author":"J. Vautherin","year":"1987","unstructured":"J. Vautherin. Parallel systems specifications with coloured Petri nets and algebraic specifications. Lecture Notes in Computer Science: Advances in Petri Nets 1987, 266:293\u2013308, 1987.","journal-title":"Lecture Notes in Computer Science: Advances in Petri Nets 1987"},{"key":"9_CR77","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1007\/3-540-58184-7_138","volume-title":"PARLE\u201994-Parallel Architectures and Languages Europe, 6th Int. PARLE Conf. Athes, Greece, July 1994, Proceedings","author":"P. Viry","year":"1994","unstructured":"P. Viry. Rewriting: An effective model of concurrency. In C. Halatsis, D. Maritsas, G. Philokyprou, and S. Theodoridis, editors, PARLE\u201994-Parallel Architectures and Languages Europe, 6th Int. PARLE Conf. Athes, Greece, July 1994, Proceedings., volume 817 of Lecture Notes in Computer Science, pages 648\u2013660. Springer-Verlag, 1994."},{"key":"9_CR78","series-title":"Lect Notes Comput Sci","volume-title":"Proc. MFCS\u201997","author":"W. Vogler","year":"1997","unstructured":"W. Vogler. Partial order semantics and test arcs. In Proc. MFCS\u201997, volume 1295 of Lecture Notes in Computer Science. Springer, 1997."}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T12:15:01Z","timestamp":1708172101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}