{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T07:56:53Z","timestamp":1791014213708,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540647812","type":"print"},{"value":"9783540686811","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055062","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T12:08:05Z","timestamp":1154434085000},"page":"296-308","source":"Crossref","is-referenced-by-count":11,"title":["Axioms for contextual net processes"],"prefix":"10.1007","author":[{"given":"F.","family":"Gadducci","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"U.","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"P. Baldan, A. Corradini, and U. Montanari. An event structure semantics for P\/T contextual nets: Asymmetric event structures. In M. Nivat, editor, Proceedings FoSSaCS'98, LNCS, pages 63\u201380. Springer Verlag, 1998.","DOI":"10.1007\/BFb0053542"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"E. Best, R. Devillers, A. Kiehn, and L. Pomello. Fully concurrent bisimulation. Acta Informatica, 28:231\u2013261, 1991.","journal-title":"Acta Informatica"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0167-6423(97)00007-5","volume":"30","author":"F. Bueno","year":"1998","unstructured":"F. Bueno, M. Hermenegildo, U. Montanari, and F. Rossi. Partial order and contextual net semantics for atomic and locally atomic CC programs. Science of Computer Programming, 30:51\u201382, 1998.","journal-title":"Science of Computer Programming"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"N. Busi and R. Gorrieri. A Petri semantics for the \u03c0-calculus. In I. Lee and S. A. Smolka, editors, Proc. CONCUR'95, volume 962 of LNCS. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60218-6_11"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"N. Busi and M. Pinna. Non-sequential semantics for contextual P\/T nets. In J. Billington and W. Reisig, editors, Applications and Theory of Petri Nets 1996, volume 1091 of LNCS. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61363-3_7"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"A. Carboni and R.F.C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49:11\u201332, 1987.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"S. Christensen and N. D. Hansen. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. In M. Ajmone-Marsan, editor, Applications and Theory of Petri Nets, volume 691 of LNCS, pages 186\u2013205. Springer Verlag, 1993.","DOI":"10.1007\/3-540-56863-8_47"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"A. Corradini and F. Gadducci. A 2-categorical presentation of term graph rewriting. In Proceedings CTCS'97, volume 1290 of LNCS. Springer Verlag, 1997.","DOI":"10.1007\/BFb0026983"},{"key":"27_CR9","unstructured":"A. Corradini and F. Gadducci. An algebraic presentation of term graphs, via gs-monoidal categories. Applied Categorical Structures, 1998. To appear."},{"key":"27_CR10","unstructured":"N. De Francesco, U. Montanari, and G. Ristori. Modeling concurrent accesses to shared data via Petri nets. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, IFIP Transactions A-56, pages 403-442. North Holland, 1994."},{"key":"27_CR11","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. Axiomatizing the algebra of net computations and processes. Acta Informatica, 33:641\u2013647, 1996.","journal-title":"Acta Informatica"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"G Gadducci and R. Heckel. An inductive view of graph transformation. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. Springer Verlag, 1998.","DOI":"10.1007\/3-540-64299-4_36"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Golz","year":"1983","unstructured":"U. Golz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125\u2013147, 1983.","journal-title":"Information and Control"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1\u201316, 1995.","journal-title":"Information and Computation"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P. Katis","year":"1997","unstructured":"P. Katis, N. Sabadini, and R.F.C. Walters. Bicategories of processes. Journal of Pure and Applied Algebra, 115:141\u2013178, 1997.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the working mathematician. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"4","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. Int. Journal of Foundations of Computer Science, 4:297\u2013399, 1991.","journal-title":"Int. Journal of Foundations of Computer Science"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Rewriting logic as a semantic framework for concurrency: A progress report. In U. Montanari and V. Sassone, editors, Proceedings CONCUR'96, volume 1119 of LNCS, pages 331\u2013372. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61604-7_64"},{"key":"27_CR19","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:105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"27_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1997-313408","volume":"31","author":"U. Montanari","year":"1997","unstructured":"U. Montanari and G. Ristori. A concurrent functional semantics for a process algebra based on action systems. Fundamenta Informaticae, 31:1\u201321, 1997.","journal-title":"Fundamenta Informaticae"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In Graph Transformations in Computer Science, volume 776 of LNCS, pages 280\u2013285. Springer Verlag, 1994.","DOI":"10.1007\/3-540-57787-4_18"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32, 1995.","DOI":"10.1007\/BF01178907"},{"key":"27_CR23","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Behaviour structures and nets. Fundamenta Informaticae, 11:357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"27_CR25","unstructured":"G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis, University of Pisa \u2014 Department of Computer Science, 1994."},{"key":"27_CR26","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0304-3975(96)00009-6","volume":"170","author":"V. Sassone","year":"1996","unstructured":"V. Sassone. An axiomatization of the algebra of Petri net concatenable processes. Theoret. Comput. Sci., 170:277\u2013296, 1996.","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. In Proc. ICALP'97, volume 1256 of LNCS, pages 538\u2013548. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63165-8_209"},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"W. Vogler. Partial order semantics and read arcs. In Proc. MFCS'97, volume 1295 of LNCS, pages 508\u2013518. Springer Verlag, 1997.","DOI":"10.1007\/BFb0029994"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T22:40:16Z","timestamp":1627684816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647812","9783540686811"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0055062","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}