{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T12:49:39Z","timestamp":1648903779816},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s00287-013-0755-3","type":"journal-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T16:09:15Z","timestamp":1389715755000},"page":"220-228","source":"Crossref","is-referenced-by-count":0,"title":["Explizites Model Checking: Welche Vorteile bieten Petrinetze?"],"prefix":"10.1007","volume":"37","author":[{"given":"Karsten","family":"Wolf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"755_CR1","unstructured":"Bengtsson J, Larsen KG, Larsson F, Pettersson P, Wang Y (1995) Uppaal \u2013 a tool suite for automatic verification of real-time systems. In: Alur R, Henzinger TA, Sontag ED (eds) Hybrid Systems, vol 1066 of Lecture Notes in Computer Science, Springer, pp 232\u2013243"},{"key":"755_CR2","doi-asserted-by":"crossref","unstructured":"Christensen S, Kristensen LM, Mailund T (2001) A sweep-line method for state space exploration. In: Margaria T, Wang Y (eds) TACAS, vol 2031 of Lecture Notes in Computer Science, Springer, pp 450\u2013464","DOI":"10.1007\/3-540-45319-9_31"},{"key":"755_CR3","unstructured":"Commoner F (1972) Deadlocks in Petri Nets, Report CA-7206-2311. Applied Data Research, Inc, Wakefield, Massachusetts"},{"key":"755_CR4","doi-asserted-by":"crossref","unstructured":"Das D, Chakrabarti PP, Kumar R (2007) Functional verification of task partitioning for multiprocessor embedded systems. ACM Trans Des Autom Electron Syst 12(4):Article No. 44","DOI":"10.1145\/1278349.1278357"},{"key":"755_CR5","doi-asserted-by":"crossref","unstructured":"Desel J, Reisig W (1996) The synthesis problem of petri nets. Acta Inf 33(4):297\u2013315","DOI":"10.1007\/s002360050046"},{"key":"755_CR6","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht A, Rozenberg G (1990) Theory of 2-structures, part i: Clans, basic subclasses, and morphisms. Theor Comput Sci 70(3):277\u2013303","DOI":"10.1016\/0304-3975(90)90129-6"},{"key":"755_CR7","doi-asserted-by":"crossref","unstructured":"Fahland D, Favre C, Koehler J, Lohmann N, V\u00f6lzer H, Wolf K (2011) Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl Eng 70(5):448\u2013466","DOI":"10.1016\/j.datak.2011.01.004"},{"key":"755_CR8","unstructured":"Godefroid P, Wolper P (1991) Using partial orders for the efficient verification of deadlock freedom and safety properties. In: Larsen KG, Skou A (eds) CAV, vol 575 of Lecture Notes in Computer Science. Springer, pp 332\u2013342"},{"key":"755_CR9","unstructured":"Hack MHT (1972) Analysis of Production Schemata by Petri Nets. Master\u2019s thesis, MIT, Dept. Electrical Engineering, Cambridge, MA"},{"key":"755_CR10","unstructured":"Heljanko K, Esparza J (2008) Unfoldings \u2013 A Partial-Order Approach to Model Checking. Springer"},{"key":"755_CR11","doi-asserted-by":"crossref","unstructured":"Kaiser A, Kroening D, Wahl T (2010) Dynamic cutoff detection in parameterized concurrent programs. In: Touili T, Cook B, Jackson P (eds) CAV, vol 6174 of Lecture Notes in Computer Science. Springer, pp 645\u2013659","DOI":"10.1007\/978-3-642-14295-6_55"},{"key":"755_CR12","doi-asserted-by":"crossref","unstructured":"Kordon F, Linard A, Buchs D, Colange M, Evangelista S, Lampka K, Lohmann N, Paviot-Adet E, Thierry-Mieg Y, Wimmel H (2012) Report on the model checking contest at petri nets 2011. T Petri Nets and Other Models of Concurrency 6:169\u2013196","DOI":"10.1007\/978-3-642-35179-2_8"},{"key":"755_CR13","unstructured":"Kristensen LM, Mailund T (2002) A generalised sweep-line method for safety properties. In: Eriksson L-H, Lindsay PA (eds) FME, vol 2391 of Lecture Notes in Computer Science. Springer, pp 549\u2013567"},{"key":"755_CR14","doi-asserted-by":"crossref","unstructured":"Mayr EW (1984) An algorithm for the general petri net reachability problem. SIAM J Comput 13(3):441\u2013460","DOI":"10.1137\/0213029"},{"key":"755_CR15","doi-asserted-by":"crossref","unstructured":"Peled D (1993) All from one, one for all: on model checking using representatives. In: CAV, LNCS 697, Springer, pp 409\u2013423","DOI":"10.1007\/3-540-56922-7_34"},{"key":"755_CR16","unstructured":"Petri CA (1962) Kommunikation mit Automaten. PhD thesis, Technische Universit\u00e4t Darmstadt, Germany"},{"key":"755_CR17","doi-asserted-by":"crossref","unstructured":"Schmidt K (2000) How to calculate symmetries of petri nets. Acta Inf 36(7):545\u2013590","DOI":"10.1007\/s002360050002"},{"key":"755_CR18","doi-asserted-by":"crossref","unstructured":"Schmidt K (2000) Integrating low level symmetries into reachability analysis. In: Graf S, Schwartzbach MI (eds) TACAS, vol 1785 of Lecture Notes in Computer Science. Springer, pp 315\u2013330","DOI":"10.1007\/3-540-46419-0_22"},{"key":"755_CR19","unstructured":"Schmidt K (2002) Explicit State Space Verification. Habilitationsschrift, Humboldt-Universit\u00e4t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult\u00e4t II, Berlin, Germany"},{"key":"755_CR20","doi-asserted-by":"crossref","unstructured":"Schmidt K (2006) Automated generation of a progress measure for the sweep-line method. STTT 8(3):195\u2013203","DOI":"10.1007\/s10009-005-0201-1"},{"key":"755_CR21","doi-asserted-by":"crossref","unstructured":"Stahl C, Reisig W, Krstic M (2005) Hazard Detection in a GALS Wrapper: a Case Study. In: Desel J, Watanabe Y (eds) Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD\u201905), St. Malo, France, IEEE Computer Society, pp 234\u2013243","DOI":"10.1109\/ACSD.2005.20"},{"key":"755_CR22","unstructured":"U Stern, DL Dill (1997) Parallelizing the mur\u03c6 verifier. In: Grumberg O (ed) CAV, vol 1254 of Lecture Notes in Computer Science. Springer, pp 256\u2013278"},{"key":"755_CR23","unstructured":"Talcott C, Dill DL (2005) The pathway logic assistant. In: Third International Workshop on Computational Methods in Systems Biology, pp 228\u2013239"},{"key":"755_CR24","unstructured":"Valmari A (1989) Stubborn sets for reduced state space generation. In: Rozenberg G (ed) Applications and Theory of Petri Nets, vol 483 of Lecture Notes in Computer Science. Springer, pp 491\u2013515"},{"key":"755_CR25","unstructured":"Valmari A (1996) The state explosion problem. In: Reisig W, Rozenberg G (eds) Petri Nets, vol 1491 of Lecture Notes in Computer Science. Springer, pp 429\u2013528"},{"key":"755_CR26","unstructured":"Verbeek HMW, van der Aalst WMP (2000) Woflan 2.0: A petri-net-based workflow diagnosis tool. In: ICATPN, LNCS 1825, Springer, pp 475\u2013484"},{"key":"755_CR27","doi-asserted-by":"crossref","unstructured":"Wolf K (2007) Generating petri net state spaces. In: Kleijn J, Yakovlev A (eds) ICATPN, vol 4546 of Lecture Notes in Computer Science. Springer, pp 29\u201342","DOI":"10.1007\/978-3-540-73094-1_5"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-013-0755-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-013-0755-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-013-0755-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T13:48:15Z","timestamp":1565099295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-013-0755-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,15]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["755"],"URL":"https:\/\/doi.org\/10.1007\/s00287-013-0755-3","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,15]]}}}