{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:18:19Z","timestamp":1743103099579,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218330"},{"type":"electronic","value":"9783642218347"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21834-7_20","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T22:04:11Z","timestamp":1309212251000},"page":"338-347","source":"Crossref","is-referenced-by-count":9,"title":["Crocodile: A Symbolic\/Symbolic Tool for the Analysis of Symmetric Nets with Bag"],"prefix":"10.1007","author":[{"given":"M.","family":"Colange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Baarir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Thierry-Mieg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-13675-7_19","volume-title":"Applications and Theory of Petri Nets","author":"J. Babar","year":"2010","unstructured":"Babar, J., Beccuti, M., Donatelli, S., Miner, A.: GreatSPN Enhanced with Decision Diagram Data Structures. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 308\u2013317. Springer, Heidelberg (2010)"},{"key":"20_CR2","volume-title":"Procedings of the 11th International Conference on Application and Theory of Petri Nets (ICATPN 1990). Reprinted in High-Level Petri Nets, Theory and Application","author":"G. Chiola","year":"1991","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On well-formed coloured nets and their symbolic reachability graph. In: Jensen, K., Rozenberg, G. (eds.) Procedings of the 11th International Conference on Application and Theory of Petri Nets (ICATPN 1990). Reprinted in High-Level Petri Nets, Theory and Application. Springer, Heidelberg (1991)"},{"issue":"1\u20132","key":"20_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science\u00a0176(1\u20132), 39\u201365 (1997)","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48068-4_8","volume-title":"Application and Theory of Petri Nets 2002","author":"J.-M. Couvreur","year":"2002","unstructured":"Couvreur, J.-M., Encrenaz, E., Paviot-Adet, E., Poitrenaud, D., Wacrenier, P.-A.: Data decision diagrams for petri net analysis. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 1\u2013101. Springer, Heidelberg (2002)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/11562436_32","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"J.-M. Couvreur","year":"2005","unstructured":"Couvreur, J.-M., Thierry-Mieg, Y.: Hierarchical decision diagrams to exploit model structure. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 443\u2013457. Springer, Heidelberg (2005)"},{"key":"20_CR6","unstructured":"GreatSPN. Petri nets suite, \n                    \n                      http:\/\/www.di.unito.it\/~greatspn"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"5018","DOI":"10.1109\/ACC.2009.5160020","volume-title":"28th American Control Conference (ACC 2009)","author":"S. Haddad","year":"2009","unstructured":"Haddad, S., Kordon, F., Petrucci, L., Pradat-Peyre, J.-F., Tr\u00e8ves, N.: Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains. In: 28th American Control Conference (ACC 2009), pp. 5018\u20135025. Omnipress IEEE, St-Louis (2009)"},{"key":"20_CR8","unstructured":"Junttila, T.: On the symmetry reduction method for Petri Nets and similar formalisms. PhD thesis, Helsinki University of Technology, Espoo, Finland (2003)"},{"key":"20_CR9","unstructured":"MoVe team. The coloane home page, \n                    \n                      http:\/\/move.lip6.fr\/software\/COLOANE"},{"key":"20_CR10","unstructured":"MoVe team. The libddd home page, \n                    \n                      http:\/\/move.lip6.fr\/software\/DDD"},{"key":"20_CR11","unstructured":"Murphi. Murphi description language and verifier, \n                    \n                      http:\/\/verify.stanford.edu\/dill\/murphi.html"},{"key":"20_CR12","unstructured":"SUMO 2011. Sumo model checking contest, \n                    \n                      http:\/\/sumo.lip6.fr\/Model_Checking_Contest.html"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-540-30232-2_18","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"Y. Thierry-Mieg","year":"2004","unstructured":"Thierry-Mieg, Y., Ili\u00e9, J.-M., Poitrenaud, D.: A symbolic symbolic state space representation. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 276\u2013291. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21834-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:56:47Z","timestamp":1558295807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21834-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218330","9783642218347"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21834-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}