{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:05Z","timestamp":1726029965636},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_24","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:09:17Z","timestamp":1558703357000},"page":"193-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Penczek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, D. Dill, Model checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-40465-8_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VIII","author":"Agata Janowska","year":"2013","unstructured":"A. Janowska, W. Penczek, A. P\u00f3\u0142rola, A. Zbrzezny, Using integer time steps for checking branching time properties of time Petri nets. in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Koutny, W.M.P. van der Aalst, A. Yakovlev. LNCS, vol. 8100(8) (Springer, Berlin, 2013), pp. 89\u2013105"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-18222-8_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency IV","author":"Micha\u0142 Knapik","year":"2010","unstructured":"M. Knapik, A. Niewiadomski, W. Penczek, A. P\u00f3\u0142rola, M. Szreter, A. Zbrzezny, Parametric model checking with VerICS, in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Knapik et al. LNCS, vol. 6550(4) (Springer, Berlin, 2010), pp. 98\u2013120"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-18222-8_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency IV","author":"Micha\u0142 Knapik","year":"2010","unstructured":"M. Knapik, M. Szreter, W. Penczek, Bounded parametric model checking for elementary net systems, in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Knapik et al. LNCS, vol. 6550(4), 42\u201371 (Springer, Berlin, 2010)"},{"key":"24_CR5","unstructured":"A. Mazurkiewicz. Trab theory, in Advances in Petri Nets 1986, ed. by W. Braner, W. Reisig, G. Rozenberg. LNCS, vol. 255 (Springer, Berlin, 1986), pp. 279\u2013324"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"A. Me\u0327ski, W. Penczek, A. P\u00f3\u0142rola, BDD-based bounded model checking for temporal properties of 1-safe Petri nets. Fundam. Inform. 109(3), 305\u2013321 (2011)","DOI":"10.3233\/FI-2011-513"},{"key":"24_CR7","unstructured":"A. Me\u0327ski, A. P\u00f3\u0142rola, W. Penczek, B. Wo\u017azna-Szcze\u015bniak, A. Zbrzezny, Bounded model checking approaches for verification of distributed time Petri nets, in Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE\u201911) (2011), pp. 72\u201391"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"W. Penczek, A. P\u00f3\u0142rola, Abstractions and partial order reductions for checking branching properties of time Petri nets, in Proceedings of the 22nd International Conference on Applications and Theory of Petri Nets (ICATPN\u201901), ed. by J.M. Colom, M. Koutny. LNCS, vol. 2075 (Springer, Berlin, 2001), pp. 323\u2013342","DOI":"10.1007\/3-540-45740-2_19"},{"key":"24_CR9","first-page":"37","volume-title":"Lecture Notes in Computer Science","author":"Wojciech Penczek","year":"2004","unstructured":"W. Penczek, A. P\u00f3\u0142rola, Specification and model checking of temporal properties in time Petri nets and timed automata, in Proceedings of the 25th International Conference on Applications and Theory of Petri Nets (ICATPN \u201904), ed. by J. Cortadella, W. Reisig. LNCS, vol. 3099 (Springer, Berlin, 2004), pp. 37\u201376"},{"key":"24_CR10","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32870-4","volume-title":"Advances in Verification of Time Petri Nets and Timed Automata","author":"Wojciech Penczek","year":"2006","unstructured":"W. Penczek, A. P\u00f3\u0142rola, Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Studies in Computational Intelligence, vol. 20 (Springer, Berlin, 2006)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-18222-8_4","volume-title":"Transactions on Petri Nets and Other Models of Concurrency IV","author":"Wojciech Penczek","year":"2010","unstructured":"W. Penczek, A. P\u00f3\u0142rola, A. Zbrzezny, SAT-based (parametric) reachability for a class of distributed time Petri nets, in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Knapik et al. LNCS, vol. 6550(4) (Springer, Berlin, 2010), pp. 72\u201397"},{"issue":"1\u20134","key":"24_CR12","first-page":"307","volume":"60","author":"A P\u00f3\u0142rola","year":"2004","unstructured":"A. P\u00f3\u0142rola, W. Penczek, Minimization algorithms for time Petri nets. Fundam. Inform. 60(1\u20134), 307\u2013331 (2004)","journal-title":"Fundam. Inform."},{"issue":"4","key":"24_CR13","doi-asserted-by":"crossref","first-page":"467","DOI":"10.3233\/FI-2014-1135","volume":"135","author":"A P\u00f3\u0142rola","year":"2014","unstructured":"A. P\u00f3\u0142rola, P. Cybula, A. Meski, SMT-based reachability checking for bounded time Petri nets. Fundam. Inform. 135(4), 467\u2013882 (2014)","journal-title":"Fundam. Inform."},{"issue":"1\u20133","key":"24_CR14","first-page":"303","volume":"67","author":"A Zbrzezny","year":"2005","unstructured":"A. Zbrzezny, SAT-based reachability checking for timed automata with diagonal constraints. Fundam. Inform. 67(1\u20133), 303\u2013322 (2005)","journal-title":"Fundam. Inform."}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T12:21:44Z","timestamp":1608034904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_24","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}