{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T06:49:10Z","timestamp":1768891750552,"version":"3.49.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319194875","type":"print"},{"value":"9783319194882","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_6","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"117-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Non-atomic Transition Firing in Contextual Nets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Chatain","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Schwoon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"issue":"11","key":"6_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.04.046","volume":"449","author":"P Baldan","year":"2012","unstructured":"Baldan, P., Bruni, A., Corradini, A., K\u00f6nig, B., Rodr\u00edguez, C., Schwoon, S.: Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449, 2\u201322 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures, and processes. Information and Computation 171(1), 1\u201349 (2001)","journal-title":"Information and Computation"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-61363-3_7","volume-title":"Application and Theory of Petri Nets 1996","author":"N Busi","year":"1996","unstructured":"Busi, N., Pinna, G.M.: Non sequential semantics for contextual P\/T nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 113\u2013132. Springer, Heidelberg (1996)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-56863-8_47","volume-title":"Application and Theory of Petri Nets 1993","author":"S Christensen","year":"1993","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 186\u2013205. Springer, Heidelberg (1993)"},{"issue":"6","key":"6_CR6","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 28(6), 575\u2013591 (1991)","journal-title":"Acta Informatica"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-38697-8_11","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"J Fernandes","year":"2013","unstructured":"Fernandes, J., Koutny, M., Pietkiewicz-Koutny, M., Sokolov, D., Yakovlev, A.: Step persistence in the design of GALS systems. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 190\u2013209. Springer, Heidelberg (2013)"},{"key":"6_CR8","unstructured":"Gaifman, H., Pratt, V.R.: Partial order models of concurrency and the computation of functions. In: Proceedings, Symposium on Logic in Computer Science, pp. 72\u201385. IEEE Computer Society (1987)"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00236-008-0071-6","volume":"45","author":"R Janicki","year":"2008","unstructured":"Janicki, R.: Relational structures model of concurrency. Acta Inf. 45(4), 279\u2013320 (2008)","journal-title":"Acta Inf."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-54152-7_58","volume-title":"PARLE \u201991. Parallel Architectures and Languages Europe","author":"R Janicki","year":"1991","unstructured":"Janicki, R., Koutny, M.: Invariants and paradigms of concurrency theory. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds.) PARLE 1991. LNCS, vol. 506, pp. 59\u201374. Springer, Heidelberg (1991)"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(93)90238-O","volume":"112","author":"R Janicki","year":"1993","unstructured":"Janicki, R., Koutny, M.: Structure of concurrency. Theoretical Computer Science 112(1), 5\u201352 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R Janicki","year":"1995","unstructured":"Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput. 123(1), 1\u201316 (1995)","journal-title":"Inf. Comput."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s002360050090","volume":"34","author":"R Janicki","year":"1997","unstructured":"Janicki, R., Koutny, M.: Fundamentals of modelling concurrency using discrete relational structures. Acta Inf. 34, 367\u2013388 (1997)","journal-title":"Acta Inf."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Juh\u00e1s, G., Lorenz, R., Mauser, S.: Synchronous + concurrent + sequential = earlier than + not later than. In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), pp. 261\u2013272. IEEE Computer Society (2006)","DOI":"10.1109\/ACSD.2006.31"},{"issue":"3","key":"6_CR15","first-page":"255","volume":"86","author":"G Juh\u00e1s","year":"2008","unstructured":"Juh\u00e1s, G., Lorenz, R., Mauser, S.: Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity. Fundam. Inform. 86(3), 255\u2013298 (2008)","journal-title":"Fundam. Inform."},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.ic.2003.11.002","volume":"190","author":"HCM Kleijn","year":"2004","unstructured":"Kleijn, H.C.M., Koutny, M.: Process semantics of general inhibitor nets. Inf. Comput. 190(1), 18\u201369 (2004)","journal-title":"Inf. Comput."},{"key":"6_CR17","first-page":"225","volume":"7","author":"J Kleijn","year":"2013","unstructured":"Kleijn, J., Koutny, M.: Causality in extensions of Petri nets. T. Petri Nets and Other Models of Concurrency 7, 225\u2013254 (2013)","journal-title":"T. Petri Nets and Other Models of Concurrency"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s00236-012-0170-2","volume":"50","author":"J Kleijn","year":"2013","unstructured":"Kleijn, J., Koutny, M., Pietkiewicz-Koutny, M., Rozenberg, G.: Step semantics of boolean nets. Acta Informatica 50(1), 15\u201339 (2013)","journal-title":"Acta Informatica"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/5383.5384","volume":"33","author":"L Lamport","year":"1986","unstructured":"Lamport, L.: The mutual exclusion problem: part I - a theory of interprocess communication. J. ACM 33(2), 313\u2013326 (1986)","journal-title":"J. ACM"},{"issue":"4","key":"6_CR20","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 7(4), 359\u2013397 (1997)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR21","unstructured":"Monica, D.D., Goranko, V., Montanari, A., Sciavicco, G.: Expressiveness of the interval logics of allen\u2019s relations on the class of all linear orders: complete classification. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI\/AAAI 2011, pp. 845\u2013850 (2011)"},{"issue":"6","key":"6_CR22","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U Montanari","year":"1995","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Inf. 32(6), 545\u2013596 (1995)","journal-title":"Contextual nets. Acta Inf."},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B Nebel","year":"1995","unstructured":"Nebel, B., B\u00fcrckert, H.: Reasoning about temporal relations: A maximal tractable subclass of allen\u2019s interval algebra. J. ACM 42(1), 43\u201366 (1995)","journal-title":"J. ACM"},{"key":"6_CR24","unstructured":"Rodr\u00edguez, C.: Verification Based on Unfoldings of Petri Nets with Read Arcs. PhD thesis, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France, December 2013"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-642-32940-1_33","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"C Rodr\u00edguez","year":"2012","unstructured":"Rodr\u00edguez, C., Schwoon, S.: Verification of Petri nets with read arcs. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 471\u2013485. Springer, Heidelberg (2012)"},{"issue":"2","key":"6_CR26","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1051\/ita\/1991250201471","volume":"25","author":"W Vogler","year":"1991","unstructured":"Vogler, W.: A generalization of trace theory. RAIRO Infornatique th\u00e9orique et Applications 25(2), 147\u2013156 (1991)","journal-title":"RAIRO Infornatique th\u00e9orique et Applications"},{"issue":"1","key":"6_CR27","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0020-0190(95)00049-I","volume":"55","author":"W Vogler","year":"1995","unstructured":"Vogler, W.: Fairness and partial order semantics. Inf. Process. Lett. 55(1), 33\u201339 (1995)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0304-3975(01)00234-1","volume":"286","author":"W Vogler","year":"2002","unstructured":"Vogler, W.: Partial order semantics and read arcs. Theoretical Computer Science 286(1), 33\u201363 (2002)","journal-title":"Theoretical Computer Science"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/BFb0055644","volume-title":"CONCUR \u201998 Concurrency Theory","author":"W Vogler","year":"1998","unstructured":"Vogler, W., Semenov, A., Yakovlev, A.: Unfolding and finite prefix for nets with read arcs. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 501\u2013516. Springer, Heidelberg (1998)"},{"issue":"2","key":"6_CR30","first-page":"313","volume":"33","author":"N Wiener","year":"1914","unstructured":"Wiener, N.: A contribution to the theory of relative position. Proc. of the Cambridge Philosophical Society 33(2), 313\u2013326 (1914)","journal-title":"Proc. of the Cambridge Philosophical Society"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Winkowski, J.: Processes of contextual nets and their characteristics. Fundamenta Informaticae 36(1) (1998)","DOI":"10.3233\/FI-1998-3614"},{"issue":"1\u20132","key":"6_CR32","first-page":"235","volume":"51","author":"J Winkowski","year":"2002","unstructured":"Winkowski, J.: Reachability in contextual nets. Fundamenta Informaticae 51(1\u20132), 235\u2013250 (2002)","journal-title":"Fundamenta Informaticae"}],"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-19488-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T09:30:11Z","timestamp":1748424611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}