{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:31:09Z","timestamp":1765294269260,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664253"},{"type":"electronic","value":"9783540483205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48320-9_3","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T13:52:42Z","timestamp":1195134762000},"page":"21-27","source":"Crossref","is-referenced-by-count":5,"title":["Petri Nets, Configuration Structures and Higher Dimensional Automata"],"prefix":"10.1007","author":[{"given":"Rob J.","family":"van Glabbeek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"3_CR1","unstructured":"E. Badouel (1996): Splitting of actions, higher-dimensional automata, and net synthesis. Technical Report RR-3490, Inria, France."},{"key":"3_CR2","volume-title":"Categories of asynchronous systems","author":"M. Bednarczyk","year":"1987","unstructured":"M. Bednarczyk (1987): Categories of asynchronous systems. PhD thesis, Computer Science, University of Sussex, Brighton."},{"key":"3_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-53479-2_4","volume-title":"Semantics of Systems of Concurrent Processes, Proceedings LITP Spring School on Theoretical Computer Science","author":"G. Boudol","year":"1990","unstructured":"G. Boudol (1990): Flow event structures and flow nets. In I. Guessarian, editor: Semantics of Systems of Concurrent Processes, Proceedings LITP Spring School on Theoretical Computer Science, La Roche Posay, France, LNCS 469, Springer, pp. 62\u201395."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/LICS.1996.561303","volume-title":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","author":"G. L. Cattani","year":"1996","unstructured":"G. L. Cattani and V. Sassone (1996): Higher dimensional transition systems. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96), New Brunswick, USA, IEEE Computer Society Press, pp. 55\u201362."},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1142\/S0129054192000218","volume":"3","author":"M. Droste","year":"1992","unstructured":"M. Droste (1992): Concurrent automata and domains. International Journal of Foundations of Computer Science 3(4), pp. 389\u2013418.","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"4","key":"3_CR6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht and G. Rozenberg (1990): Partial 2-structures. Acta Informatica 27(4), pp. 315\u2013368.","journal-title":"Partial 2-structures. Acta Informatica"},{"key":"3_CR7","unstructured":"R. J. VAN Glabbeek (1988): An operational non-interleaved process graph semantics of CCSP (abstract). In E.-R. Olderog, U. Goltz and R. J. van Glabbeek, editors: Combining compositionality and concurrency, summary of a GMD-workshop, K\u00f6nigswinter, March 1988, Arbeitspapiere der GMD 320, pp. 18\u201319."},{"key":"3_CR8","unstructured":"R. J. VAN Glabbeek (1991): Bisimulations for higher dimensional automata. Email message, July 7,\u2019 91. Available at http:\/\/theory.stanford.edu\/~rvg\/hda ."},{"key":"3_CR9","series-title":"Lect Notes Comput Sci","first-page":"267","volume-title":"Proceedings REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness","author":"R. J. Glabbeek Van","year":"1989","unstructured":"R. J. VAN Glabbeek and U. Goltz (1990): Refinement of actions in causality based models. In J. W. de Bakker, W. P. de Roever and G. Rozenberg, editors: Proceedings REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Mook, The Netherlands, May\/June 1989, LNCS 430, Springer, pp. 267\u2013300."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/LICS.1995.523257","volume-title":"Proceedings 10th Annual IEEE Symposium on Logic in Computer Science","author":"R. J. Glabbeek Van","year":"1995","unstructured":"R. J. VAN Glabbeek and G. D. Plotkin (1995): Configuration structures (extended abstract). In D. Kozen, editor: Proceedings 10th Annual IEEE Symposium on Logic in Computer Science (LICS 95), San Diego, USA, IEEE Computer Society Press, pp. 199\u2013209."},{"key":"3_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/BFb0084796","volume-title":"Proceedings CONCUR 92","author":"E. Goubault","year":"1992","unstructured":"E. Goubault and T. Jensen (1992): Homology of higher dimensional automata. In W. R. Cleaveland, editor: Proceedings CONCUR 92, Stony Brook, NY, USA, LNCS 630, Springer, pp. 254\u2013268."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(92)90052-H","volume":"101","author":"J. Gunawardena","year":"1992","unstructured":"J. Gunawardena (1992): Causal automata. Theoretical Computer Science 101, pp. 265\u2013288.","journal-title":"Causal automata. Theoretical Computer Science"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"V. Gupta and V. R. Pratt (1993): Gates accept concurrent behavior. In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci., pp. 62\u201371. More material on Chu spaces can be found at http:\/\/boole.stanford.edu\/chuguide.html .","DOI":"10.1109\/SFCS.1993.366881"},{"key":"3_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1007\/3-540-57208-2_32","volume-title":"Proceedings CONCUR 93","author":"P. W. Hoogers","year":"1993","unstructured":"P. W. Hoogers, H. C. M. Kleijn and P. S. Thiagarajan (1993): Local event structures and Petri nets. In E. Best, editor: Proceedings CONCUR 93, Hildesheim, Germany, LNCS 715, Springer, pp. 462\u2013476."},{"key":"3_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/BFb0084798","volume-title":"Proceedings CONCUR 92","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer, U. Montanari and V. Sassone (1992): On the semantics of Petri nets. In W. R. Cleaveland, editor: Proceedings CONCUR 92, Stony Brook, NY, USA, LNCS 630, Springer, pp. 286\u2013301."},{"issue":"4","key":"3_CR16","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"M. Mukund (1992): Petri nets and step transition systems. International Journal of Foundations of Computer Science 3(4), pp. 443\u2013478.","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. D. Plotkin and G. Winskel (1981): Petri nets, event structures and domains, part I. Theoretical Computer Science 13(1), pp. 85\u2013108.","journal-title":"Theoretical Computer Science"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"M. Nielsen, G. Rozenberg and P. S. Thiagarajan (1992): Elementary transition systems. Theoretical Computer Science 96, pp. 3\u201333.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"3_CR19","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 (1995): On the nature of events: another perspective in concurrency. Theoretical Computer Science 138(2), pp. 425\u2013454.","journal-title":"Theoretical Computer Science"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"V. R. Pratt (1991): Modeling concurrency with geometry. In Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pp. 311\u2013322.","DOI":"10.1145\/99583.99625"},{"issue":"4","key":"3_CR21","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 (1988): Behavior structures and nets. Fundamenta Informaticae 11(4), pp. 357\u2013404.","journal-title":"Fundamenta Informaticae"},{"key":"3_CR22","unstructured":"D. Scott (1970): Outline of a mathematical theory of computation. In Proceedings of the 4 th Annual Princeton Conference on Information Sciences and Systems, pp. 169\u2013176."},{"issue":"5","key":"3_CR23","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","volume":"28","author":"M. W. Shields","year":"1985","unstructured":"M. W. Shields (1985): Concurrent machines. The Computer Journal 28(5), pp. 449\u2013465.","journal-title":"The Computer Journal"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(89)90050-9","volume":"64","author":"E. W. Stark","year":"1989","unstructured":"E. W. Stark (1989): Concurrent transition systems. Theoretical Computer Science 64, pp. 221\u2013269.","journal-title":"Theoretical Computer Science"},{"key":"3_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II; Proceedings of an Advanced Course","author":"G. Winskel","year":"1987","unstructured":"G. Winskel (1987): Event structures. In W. Brauer, W. Reisig and G. Rozenberg, editors: Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II; Proceedings of an Advanced Course, Bad Honnef, September 1986, LNCS 255, Springer, pp. 325\u2013392."},{"key":"3_CR26","unstructured":"G. Winskel and M. Nielsen (1995): Models for concurrency. In S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, editors: Handbook of Logic in Computer Science, volume 4: Semantic Modelling, chapter 1. Oxford University Press."}],"container-title":["Lecture Notes in Computer Science","CONCUR\u201999 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48320-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T10:58:11Z","timestamp":1737543491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48320-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664253","9783540483205"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-48320-9_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}