{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:43:56Z","timestamp":1725864236976},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662534007"},{"type":"electronic","value":"9783662534014"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53401-4_14","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:34:52Z","timestamp":1472816092000},"page":"286-296","source":"Crossref","is-referenced-by-count":9,"title":["MARCIE\u2019s Secrets of Efficient Model Checking"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]},{"given":"Christian","family":"Rohr","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Schwarick","sequence":"additional","affiliation":[]},{"given":"Alexey A.","family":"Tovchigrechko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,2]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Bl\u00e4tke, M., Heiner, M., Marwan, W.: BioModel Engineering with Petri Nets, pp. 141\u2013193. Elsevier Inc. (2015)","DOI":"10.1016\/B978-0-12-801213-0.00007-1"},{"key":"14_CR2","series-title":"Modeling and Simulation in Science, Engineering and Technology","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/978-3-319-08437-4_6","volume-title":"Large-Scale Networks in Engineering and Life Sciences","author":"M Bl\u00e4tke","year":"2014","unstructured":"Bl\u00e4tke, M., Rohr, C., Heiner, M., Marwan, W.: A Petri net based framework for biomodel engineering. In: Benner, P., Findeisen, R., Flockerzi, D., Reichl, U., Sundmacher, K. (eds.) Large-Scale Networks in Engineering and Life Sciences. MSSET, pp. 317\u2013366. Springer, Heidelberg (2014)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a BDD package. In: Proceedings of the 27th ACM\/IEEE Design Automation Conference, pp. 40\u201345. ACM\/IEEE, IEEE Computer Society Press (1990)","DOI":"10.1145\/123186.123222"},{"issue":"2","key":"14_CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent systems using temporal logic specifications. ACM TOPLAS 8(2), 244\u2013263 (1986)","journal-title":"ACM TOPLAS"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-38697-8_21","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Heiner","year":"2013","unstructured":"Heiner, M., Rohr, C., Schwarick, M.: MARCIE \u2013 model checking and reachability analysis done efficiently. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 389\u2013399. Springer, Heidelberg (2013)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Heiner, M., Rohr, C., Schwarick, M., Streif, S.: A comparative study of stochastic analysis techniques. In: Proceedings of CMSB 2010, pp. 96\u2013106. ACM digital library (2010)","DOI":"10.1145\/1839764.1839776"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-3-642-02424-5_20","volume-title":"Applications and Theory of Petri Nets","author":"M Heiner","year":"2009","unstructured":"Heiner, M., Schwarick, M., Tovchigrechko, A.: DSSZ-MC \u2013 a tool for symbolic analysis of extended Petri nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 323\u2013332. Springer, Heidelberg (2009)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Iwashita, H., Nakata, T., Hirose, F.: CTL model checking based on forward state traversal. In: Proceedings of ICCAD 1996, pp. 82\u201387. IEEE Computer Society (1996)","DOI":"10.1109\/ICCAD.1996.569084"},{"key":"14_CR9","unstructured":"Kordon, F., Garavel, H., Hillah, L.M., Hulin-Hubard, F., Linard, A., Beccuti, M., Evangelista, S., Hamez, A., Lohmann, N., Lopez, E., Paviot-Adet, E., Rodriguez, C., Rohr, C., Srba, J.: HTML results from the Model Checking Contest @ Petri Net (2014 edn.) (2014). http:\/\/mcc.lip6.fr\/2014"},{"key":"14_CR10","unstructured":"Kordon, F., Garavel, H., Hillah, L.M., Hulin-Hubard, F., Linard, A., Beccuti, M., Hamez, A., Lopez-Bobeda, E., Jezequel, L., Meijer, J., Paviot-Adet, E., Rodriguez, C., Rohr, C., Srba, J., Thierry-Mieg, Y., Wolf, K.: Complete Results for the 2015 Edition of the Model Checking Contest (2015). http:\/\/mcc.lip6.fr\/2015\/results.php"},{"key":"14_CR11","unstructured":"Kordon, F., Linard, A., Becutti, M., Buchs, D., Fronc, L., Hulin-Hubard, F., Legond-Aubry, F., Lohmann, N., Marechal, A., Paviot-Adet, E., Pommereau, F., Rodr\u00edgues, C., Rohr, C., Thierry-Mieg, Y., Wimmel, H., Wolf, K.: Web Report on the Model Checking Contest @ Petri Net 2013 (2013). http:\/\/mcc.lip6.fr"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kordon, F., Linard, A., Buchs, D., Colange, M., Evangelista, S., Fronc, L., Hillah, L., Lohmann, N., Paviot-Adet, E., Pommereau, F., Rohr, C., Thierry-Mieg, Y., Wimmel, H., Wolf, K.: Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs\/1209.2382 (2012)","DOI":"10.1007\/978-3-642-35179-2_8"},{"key":"14_CR13","unstructured":"Lautenbach, K., Ridder, H.: A completion of the S-invariance technique by means of fixed point algorithms. Technical report, Universit\u00e4t Koblenz-Landau (1995)"},{"key":"14_CR14","unstructured":"Noack, A.: A ZBDD package for efficient model checking of Petri nets (in German). Technical report, BTU Cottbus, Department of CS (1999)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/978-3-642-03845-7_20","volume-title":"Computational Methods in Systems Biology","author":"M Schwarick","year":"2009","unstructured":"Schwarick, M., Heiner, M.: CSL model checking of biochemical networks with interval decision diagrams. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 296\u2013312. Springer, Heidelberg (2009)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Schwarick, M., Rohr, C., Heiner, M.: MARCIE - model checking and reachability analysis done efficiently. In: Proceedings of QEST 2011, pp. 91\u2013100. IEEE CS Press (2011)","DOI":"10.1109\/QEST.2011.19"},{"issue":"26","key":"14_CR17","doi-asserted-by":"crossref","first-page":"2884","DOI":"10.1016\/j.tcs.2010.06.030","volume":"412","author":"M Schwarick","year":"2011","unstructured":"Schwarick, M., Tovchigrechko, A.: IDD-based model validation of biochemical networks. Theor. Comput. Sci. 412(26), 2884\u20132908 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR18","unstructured":"Schwarick, M.: Symbolic on-the-fly analysis of stochastic Petri nets. Ph.D. thesis, BTU Cottbus, Department of CS (2014)"},{"key":"14_CR19","unstructured":"Tovchigrechko, A.: Model checking using interval decision diagrams. Ph.D. thesis, BTU Cottbus, Department of CS (2008)"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-49519-3_18","volume-title":"Formal Methods in Computer-Aided Design","author":"B Yang","year":"1998","unstructured":"Yang, B., Bryant, R.E., O\u2019Hallaron, D.R., Biere, A., Coudert, O., Janssen, G., Ranjan, R.K., Somenzi, F.: A performance study of BDD-based model checking. In: Gopalakrishnan, G.C., Windley, P. (eds.) FMCAD 1998. LNCS, vol. 1522, pp. 255\u2013289. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53401-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:48:48Z","timestamp":1568335728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53401-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534007","9783662534014"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53401-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}