{"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":1791014213737,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643005","type":"print"},{"value":"9783540697206","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053542","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:19:46Z","timestamp":1149643186000},"page":"63-80","source":"Crossref","is-referenced-by-count":14,"title":["An event structure semantics for P\/T contextual nets: Asymmetric event structures"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"G. Boudol. Flow Event Structures and Flow Nets. In Semantics of System of Concurrent Processes, volume 469 of LNCS, pages 62\u201395. Springer Verlag, 1990.","DOI":"10.1007\/3-540-53479-2_4"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. Permutation of transitions: an event structure semantics for CCS and SCCS. In Linear Time, Branching Time and Partial Order Semantics in Logics and Models for Concurrency, volume 354 of LNCS, pages 411\u2013427. Springer Verlag, 1988.","DOI":"10.1007\/BFb0013028"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"N. Busi and R. Gorrieri. A Petri Nets Semantics for \u03c0-calculus. In Proceedings CONCUR'95, volume 962 of LNCS, pages 145\u2013159. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60218-6_11"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"N. Busi and G. M. Pinna. Non Sequential Semantics for Contextual P\/T Nets. In Application and Theory of Petri Nets, volume 1091 of LNCS, pages 113\u2013132. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61363-3_7"},{"key":"5_CR5","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":"5_CR6","doi-asserted-by":"crossref","unstructured":"A. Corradini. Concurrent Graph and Term Graph Rewriting. In U. Montanari and V. Sassone, editors, Proceedings CONCUR'96, volume 1119 of LNCS, pages 438\u2013464. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61604-7_69"},{"key":"5_CR7","unstructured":"N. De Francesco, U. Montanari, and G. Ristori. Modeling Concurrent Accesses to Shared Data via Petri Nets. In Programming Concepts, Methods and Calculi, IFIP Transactions A-56, pages 403\u2013422. North Holland, 1994."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"P. Degano, R. Gorrieri, and S. Vigna. On Relating Some Models for Concurrency. In M. C. Gaudel and J. P. Jouannaud, editors, 4 th Conference on Theory and Practice of Software Development, volume 668 of LNCS, pages 15\u201330. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_53"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"R. Janicki and M Koutny. Invariant semantics of nets with inhibitor arcs. In Proceedings CONCUR '91, volume 527 of LNCS. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_97"},{"key":"5_CR10","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":"5_CR11","unstructured":"R. Langerak. Bundle Event Structures: A Non-Interleaving Semantics for Lotos. In 5 th Intl. Conf. on Formal Description Techniques (FORTE'92), pages 331\u2013346. North-Holland, 1992."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Petri nets. In Proceedings CONCUR '92, volume 630 of LNCS, pages 286\u2013301. Springer Verlag, 1992.","DOI":"10.1007\/BFb0084798"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In H.-J. Schneider and H. Ehrig, editors, Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of LNCS. Springer Verlag, 1994.","DOI":"10.1007\/3-540-57787-4_18"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32, 1995.","DOI":"10.1007\/BF01178907"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"G. M. Pinna and A. Poign\u00e9. On the nature of events. In Mathematical Foundations of Computer Science, volume 629 of LNCS, pages 430\u2013441. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55808-X_42"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0304-3975(94)00174-H","volume":"138","author":"G. M. Pinna","year":"1995","unstructured":"G. M. Pinna and A. Poign\u00e9. On the nature of events: another perspective in concurrency. Theoretical Computer Science, 138:425\u2013454, 1995.","journal-title":"Theoretical Computer Science"},{"key":"5_CR17","unstructured":"G. Ristori. Modelling Systems with Shared Resources via Petri Nets. PhD thesis, Universit\u00e0 di Pisa, 1994."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. Technical Report 352, Instit\u00fct f\u00fcr Mathematik, Augsburg University, 1996.","DOI":"10.1007\/3-540-63165-8_209"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"W. Vogler. Partial Order Semantics and Read Arcs. In Mathematical Foundations of Computer Science, volume 1295 of LNCS, pages 508\u2013518. Springer Verlag, 1997.","DOI":"10.1007\/BFb0029994"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS, pages 325\u2013392. Springer Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:31:41Z","timestamp":1555641101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643005","9783540697206"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0053542","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}