{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:26:34Z","timestamp":1777519594337,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662534007","type":"print"},{"value":"9783662534014","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-53401-4_12","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:34:52Z","timestamp":1472816092000},"page":"262-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["MCC\u20192015 \u2013 The Fifth Model Checking Contest"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Kordon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lom Messan","family":"Hillah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Paviot-Adet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efg","family":"Jezequel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francis","family":"Hulin-Hubard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,2]]},"reference":[{"key":"12_CR1","unstructured":"C\u00c6SAR.BDD. \n                    http:\/\/cadp.inria.fr\/man\/caesar.bdd.html"},{"key":"12_CR2","unstructured":"CUDD. \n                    http:\/\/vlsi.colorado.edu\/~fabio\/CUDD"},{"key":"12_CR3","unstructured":"Cunf. \n                    https:\/\/github.com\/cesaro\/cunf"},{"key":"12_CR4","unstructured":"GreatSPN-Meddly. \n                    http:\/\/www.di.unito.it\/~greatspn\/index.html"},{"key":"12_CR5","unstructured":"ITS-Tools. \n                    http:\/\/ddd.lip6.fr"},{"key":"12_CR6","unstructured":"LoLA 2.0. \n                    http:\/\/www.service-technology.org\/lola"},{"key":"12_CR7","unstructured":"LTSmin. \n                    http:\/\/fmt.cs.utwente.nl\/tools\/ltsmin"},{"key":"12_CR8","unstructured":"Marcie. \n                    http:\/\/www-dssz.informatik.tu-cottbus.de\/DSSZ\/Software\/Marcie"},{"key":"12_CR9","unstructured":"pnmc. \n                    http:\/\/ahamez.github.io\/pnmc"},{"key":"12_CR10","unstructured":"PNML2NUPN. \n                    http:\/\/pnml.lip6.fr\/pnml2nupn"},{"key":"12_CR11","unstructured":"pnxdd. \n                    https:\/\/projets-systeme.lip6.fr\/trac\/research\/NEOPPOD\/wiki\/pnxdd"},{"key":"12_CR12","unstructured":"SMC. \n                    https:\/\/github.com\/mcc-petrinets\/formulas\/tree\/v1.0-mcc2015\/smc"},{"key":"12_CR13","unstructured":"StrataGEM 0.5.0. \n                    http:\/\/sourceforge.net\/projects\/stratagem-mc"},{"key":"12_CR14","unstructured":"TAPAAL. \n                    http:\/\/www.tapaal.net\/"},{"issue":"1\u20132","key":"12_CR15","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(94)00231-7","volume":"147","author":"A Cheng","year":"1995","unstructured":"Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. Theor. Comput. Sci. 147(1\u20132), 117\u2013136 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-19488-2_9","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"H Garavel","year":"2015","unstructured":"Garavel, H.: Nested-unit petri nets: a structural means to increase efficiency and scalability of verification on elementary nets. In: Devillers, R., Valmari, A. (eds.) Petri Nets 2015. LNCS, vol. 9115, pp. 179\u2013199. Springer, Heidelberg (2015)"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","volume":"15","author":"H Garavel","year":"2013","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. (STTT) 15(2), 89\u2013107 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"12_CR18","unstructured":"ISO\/IEC. LOTOS \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization \u2013 Information Processing Systems \u2013 Open Systems Interconnection, Geneva, September 1989"},{"key":"12_CR19","unstructured":"ISO\/IEC. High-level Petri Nets - Part 2: Transfer Format. International Standard 15909\u20132:, International Organization for Standardization \u2013 Information Technology \u2013 Systems and Software Engineering, Geneva (2011)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Kordon, F., Hulin-Hubard, F.: BenchKit, a tool for massive concurrent benchmarking. In: 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, pp. 159\u2013165. IEEE Computer Society, June 2014","DOI":"10.1109\/ACSD.2014.12"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53401-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:12:41Z","timestamp":1558314761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53401-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534007","9783662534014"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53401-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"2 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}