{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:07:22Z","timestamp":1767236842182,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540283096"},{"type":"electronic","value":"9783540319344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11539452_26","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:54:50Z","timestamp":1127829290000},"page":"323-337","source":"Crossref","is-referenced-by-count":12,"title":["The Individual and Collective Token Interpretations of Petri Nets"],"prefix":"10.1007","author":[{"given":"Robert Jan","family":"van Glabbeek","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Badouel, E.: Splitting of actions, higher-dimensional automata, and net synthesis. Technical Report RR-3490, Inria, France (1996)"},{"issue":"1","key":"26_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best, E., Devillers, R.: Sequential and concurrent behavior in Petri net theory. Theoretical Computer Science\u00a055(1), 87\u2013136 (1987)","journal-title":"Theoretical Computer Science"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"Best, E., Devillers, R., Kiehn, A., Pomello, L.: Concurrent bisimulations in Petri nets. Acta Informatica\u00a028, 231\u2013264 (1991)","journal-title":"Acta Informatica"},{"issue":"6","key":"26_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching processes of petri nets. Acta Informatica\u00a028(6), 575\u2013591 (1991)","journal-title":"Acta Informatica"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: On the expressiveness of higher dimensional automata (extended abstract). In: Proc. 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004. Electronic Notes in Theoretical Computer Science, vol.\u00a0128(2), pp. 5\u201334 (2005), Available at http:\/\/boole.stanford.edu\/pub\/hda-ea.pdf","DOI":"10.1016\/j.entcs.2004.11.026"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures (extended abstract). In: Kozen, D. (ed.) Proceedings 10th Annual IEEE Symposium on Logic in Computer Science, LICS 1995, San Diego, USA, pp. 199\u2013209. IEEE Computer Society Press, Los Alamitos (1995), Available at http:\/\/boole.stanford.edu\/pub\/conf.ps.gz","DOI":"10.1109\/LICS.1995.523257"},{"key":"26_CR7","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Computation\u00a057, 125\u2013147 (1983)","journal-title":"Information and Computation"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: On the semantics of place\/transition Petri nets. Mathematical Structures in Computer Science\u00a07, 359\u2013397 (1997)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"26_CR9","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"Mukund, M.: Petri nets and step transition systems. International Journal of Foundations of Computer Science\u00a03(4), 443\u2013478 (1992)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Modeling concurrency with geometry. In: Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pp. 311\u2013322 (1991)","DOI":"10.1145\/99583.99625"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2005 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11539452_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:42:09Z","timestamp":1736005329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11539452_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540283096","9783540319344"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11539452_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}