{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:06:38Z","timestamp":1751688398638,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912677"},{"type":"electronic","value":"9783319912684"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91268-4_7","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T16:27:38Z","timestamp":1525710458000},"page":"117-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From Event-Oriented Models to Transition Systems"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Nataliya","family":"Gribovskaya","sequence":"additional","affiliation":[]},{"given":"Irina","family":"Virbitskaite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-19195-9_6","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Arbach","year":"2015","unstructured":"Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 83\u201397. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19195-9_6"},{"issue":"6","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1110","DOI":"10.1016\/j.jlamp.2015.10.004","volume":"85","author":"A Armas-Cervantes","year":"2016","unstructured":"Armas-Cervantes, A., Baldan, B., Garcia-Banuelos, L.: Reduction of event structures under history preserving bisimulation. J. Log. Algebr. Methods Program. 85(6), 1110\u20131130 (2016)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF01178923","volume":"31","author":"C Baier","year":"1994","unstructured":"Baier, C., Majster-Cederbaum, M.: The connection between event structure semantics and operational semantics for TCSP. Acta Inform. 31, 81\u2013104 (1994)","journal-title":"Acta Inform."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Gadducci, F.: Domains and event structures for fusions. In: LICS, pp. 1\u201312 (2017)","DOI":"10.1109\/LICS.2017.8005135"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-51963-0_11","volume-title":"SOFSEM 2017: Theory and Practice of Computer Science","author":"E Best","year":"2017","unstructured":"Best, E., Gribovskaya, N., Virbitskaite, I.: Configuration- and residual-based transition systems for event structures with asymmetric conflict. In: Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. (eds.) SOFSEM 2017. LNCS, vol. 10139, pp. 132\u2013146. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51963-0_11"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-53479-2_4","volume-title":"Semantics of Systems of Concurrent Processes","author":"G Boudol","year":"1990","unstructured":"Boudol, G.: Flow event structures and flow nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 62\u201395. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-53479-2_4"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-28729-9_15","volume-title":"Foundations of Software Science and Computational Structures","author":"S Crafa","year":"2012","unstructured":"Crafa, S., Varacca, D., Yoshida, N.: Event structure semantics of parallel extrusion in the pi-calculus. In: Birkedal, L. (ed.) FoSSaCS 2012. LNCS, vol. 7213, pp. 225\u2013239. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28729-9_15"},{"issue":"1\u20132","key":"7_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FUN-2005-681-204","volume":"68","author":"H Fecher","year":"2005","unstructured":"Fecher, H., Majster-Cederbaum, M.: Event structures for arbitrary disruption. Fundam. Inform. 68(1\u20132), 103\u2013130 (2005)","journal-title":"Fundam. Inform."},{"key":"7_CR9","unstructured":"van Glabbeek, R.J.: History preserving process graphs. Report, Stanford University. http:\/\/boole.stanford.edu\/rvg\/pub\/abstracts\/history"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.tcs.2006.02.012","volume":"356","author":"RJ van Glabbeek","year":"2006","unstructured":"van Glabbeek, R.J.: On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 356(3), 265\u2013290 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"RJ van Glabbeek","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inform. 37, 229\u2013327 (2001)","journal-title":"Acta Inform."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures. In: Proceedings of the LICS, pp. 199\u2013209 (1995)","DOI":"10.1109\/LICS.1995.523257"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/978-3-540-28629-5_42","volume-title":"Mathematical Foundations of Computer Science 2004","author":"R van Glabbeek","year":"2004","unstructured":"van Glabbeek, R., Plotkin, G.: Event structures for resolvable conflict. In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 550\u2013561. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28629-5_42"},{"issue":"41","key":"7_CR14","doi-asserted-by":"publisher","first-page":"4111","DOI":"10.1016\/j.tcs.2009.06.014","volume":"410","author":"RJ van Glabbeek","year":"2009","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410(41), 4111\u20134159 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(95)00120-4","volume":"153","author":"PW Hoogers","year":"1996","unstructured":"Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An event structure semantics for general Petri nets. Theor. Comput. Sci. 153, 129\u2013170 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR16","unstructured":"Katoen, J.-P.: Quantitative and qualitative extensions of event structures. Ph.D. thesis, Twente University (1996)"},{"key":"7_CR17","unstructured":"Katoen, J.-P., Langerak, R., Latella, D.: Modeling systems by probabilistic process algebra: an event structures approach. In: IFIP Transactions, vol. C-2, pp. 253\u2013268 (1993)"},{"issue":"7","key":"7_CR18","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"key":"7_CR19","unstructured":"Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. In: Formal Description Techniques V. IFIP Transactions, vol. C-10, pp. 331\u2013346 (1993)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-63141-0_22","volume-title":"CONCUR \u201997: Concurrency Theory","author":"R Langerak","year":"1997","unstructured":"Langerak, R., Brinksma, E., Katoen, J.-P.: Causal ambiguity and partial orders in event structures. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 317\u2013331. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63141-0_22"},{"key":"7_CR21","unstructured":"Li, B., Koutny, M.: Unfolding CSPT-nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2015), Brussels, Belgium, pp. 207\u2013226, June 2015"},{"issue":"1","key":"7_CR22","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"14","author":"R Loogen","year":"1991","unstructured":"Loogen, R., Goltz, U.: Modelling nondeterministic concurrent processes with event structures. Fundam. Inform. 14(1), 39\u201374 (1991)","journal-title":"Fundam. Inform."},{"issue":"3","key":"7_CR23","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0020-0190(98)00105-7","volume":"67","author":"M Majster-Cederbaum","year":"1998","unstructured":"Majster-Cederbaum, M., Roggenbach, M.: Transition systems from event structures revisited. Inf. Process. Lett. 67(3), 119\u2013124 (1998)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theor. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/3-540-48068-4_20","volume-title":"Application and Theory of Petri Nets 2002","author":"M Nielsen","year":"2002","unstructured":"Nielsen, M., Thiagarajan, P.S.: Regular event structures and finite Petri nets: the conflict-free case. In: Esparza, J., Lakos, C. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 335\u2013351. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-48068-4_20"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/BFb0015256","volume-title":"Computer Science Today","author":"V Pratt","year":"1995","unstructured":"Pratt, V.: Chu spaces and their interpretation as concurrent objects. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 392\u2013405. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/BFb0015256"},{"key":"7_CR27","unstructured":"Winskel G.: Events in computation. Ph.D. thesis, University of Edinburgh (1980)"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-17906-2_31"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G Winskel","year":"1989","unstructured":"Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 364\u2013397. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0013026"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of Logic in Computer Science, vol. 4 (1995)","DOI":"10.1093\/oso\/9780198537809.003.0001"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.entcs.2013.09.024","volume":"298","author":"G Winskel","year":"2013","unstructured":"Winskel, G.: Distributed probabilistic and quantum strategies. Electron. Notes Theor. Comput. Sci. 298, 403\u2013425 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91268-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T08:54:46Z","timestamp":1751619286000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91268-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912677","9783319912684"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91268-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/interes.institute\/petrinets2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}