{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:17Z","timestamp":1725886937603},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_11","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"159-178","source":"Crossref","is-referenced-by-count":0,"title":["Model Checking Concurrency and Causality"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Wolf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"issue":"1","key":"11_CR1","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 behaviour in Petri net theory. Theoret. Comput. Sci. 55(1), 87\u2013136 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-73483-0","volume-title":"Nonsequential Processes: A Petri Net View. EATCS Monographs on Theoretical Computer Science","author":"E Best","year":"1988","unstructured":"Best, E., Fernandez, C.: Nonsequential Processes: A Petri Net View. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1988)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1142\/9781848162914_0007","volume":"3","author":"W Brauer","year":"2009","unstructured":"Brauer, W., Reisig, W.: Carl adam Petri and \u201cPetri nets\u201d. Fundam. Concepts Comput. Sci. 3, 129\u2013139 (2009)","journal-title":"Fundam. Concepts Comput. Sci."},{"key":"11_CR4","volume-title":"Unfoldings - A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science","author":"J Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings - A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2008)"},{"issue":"2\/3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Inf. Control 57(2\/3), 125\u2013147 (1983)","journal-title":"Inf. Control"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/3-540-63166-6_43","volume-title":"Computer Aided Verification","author":"B Grahlmann","year":"1997","unstructured":"Grahlmann, B.: The PEP tool. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 440\u2013443. Springer, Heidelberg (1997). doi:\n10.1007\/3-540-63166-6_43"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-662-53401-4_14","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XI","author":"M Heiner","year":"2016","unstructured":"Heiner, M., Rohr, C., Schwarick, M., Tovchigrechko, A.A.: MARCIE\u2019s secrets of efficient model checking. In: Koutny, M., Desel, J., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency XI. LNCS, vol. 9930, pp. 286\u2013296. Springer, Heidelberg (2016). doi:\n10.1007\/978-3-662-53401-4_14"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-662-53401-4_16","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XI","author":"JF Jensen","year":"2016","unstructured":"Jensen, J.F., Nielsen, T., Oestergaard, L.K., Srba, J.: TAPAAL and reachability analysis of P\/T nets. In: Koutny, M., Desel, J., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency XI. LNCS, vol. 9930, pp. 307\u2013318. Springer, Heidelberg (2016). doi:\n10.1007\/978-3-662-53401-4_16"},{"key":"11_CR9","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - EATCS Monographs in Theoretical Computer Science","author":"K Jensen","year":"1996","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - EATCS Monographs in Theoretical Computer Science, vol. 1, 2nd edn. Springer, Heidelberg (1996)","edition":"2"},{"key":"11_CR10","unstructured":"Khomenko, V.: PUNF\u2013Petri net unfolder. \nhttp:\/\/homepages.cs.ncl.ac.uk\/victor.khomenko\/tools\/"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"KL McMillan","year":"1995","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Formal Methods Syst. Des. 6(1), 45\u201365 (1995)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsens","year":"1981","unstructured":"Nielsens, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains. Theoret. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR13","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Dissertation, Schriften des IIM 2, Rheinisch-Westf\u00e4lisches Institut f\u00fcr Instrumentelle Mathematik an der Universit\u00e4t Bonn, Bonn (1962)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-319-07734-5_12","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"A Polyvyanyy","year":"2014","unstructured":"Polyvyanyy, A., Weidlich, M., Conforti, R., Rosa, M., Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 210\u2013232. Springer, Cham (2014). doi:\n10.1007\/978-3-319-07734-5_12"},{"key":"11_CR15","unstructured":"Schwoon, S.: Mole\u2013a Petri net unfolder. \nhttp:\/\/www.lsv.ens-cachan.fr\/~schwoon\/tools\/mole\/"},{"key":"11_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-02922-1_2","volume-title":"Asia Pacific Business Process Management","author":"AHM Hofstede","year":"2013","unstructured":"Hofstede, A.H.M., Ouyang, C., Rosa, M., Song, L., Wang, J., Polyvyanyy, A.: APQL: a process-model query language. In: Song, M., Wynn, M.T., Liu, J. (eds.) AP-BPM 2013. LNBIP, vol. 159, pp. 23\u201338. Springer, Cham (2013). doi:\n10.1007\/978-3-319-02922-1_2"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-662-46681-0_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y Thierry-Mieg","year":"2015","unstructured":"Thierry-Mieg, Y.: Symbolic model-checking using ITS-tools. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 231\u2013237. Springer, Heidelberg (2015). doi:\n10.1007\/978-3-662-46681-0_20"},{"key":"11_CR18","unstructured":"M.\u00a0Weidlich. Behavioural profiles: a relational approach to behaviour consistency. Ph.D. thesis, University of Potsdam (2011)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-19835-9_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Wimmel","year":"2011","unstructured":"Wimmel, H., Wolf, K.: Applying CEGAR to the Petri net state equation. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 224\u2013238. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-19835-9_19"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-73094-1_5","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"K Wolf","year":"2007","unstructured":"Wolf, K.: Generating Petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 29\u201342. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-73094-1_5"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:14:01Z","timestamp":1493864041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}