{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T04:24:21Z","timestamp":1744345461546,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340581"},{"type":"electronic","value":"9783642340598"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34059-8_17","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T15:02:34Z","timestamp":1349967754000},"page":"330-352","source":"Crossref","is-referenced-by-count":1,"title":["Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach"],"prefix":"10.1007","author":[{"given":"Maximilien","family":"Colange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lom-Messan","family":"Hillah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Parutto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_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.S.: 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":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-02658-4_9","volume-title":"Computer Aided Verification","author":"G. Basler","year":"2009","unstructured":"Basler, G., Mazzucchi, M., Wahl, T., Kroening, D.: Symbolic Counter Abstraction for Concurrent Software. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 64\u201378. Springer, Heidelberg (2009)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/11537328_10","volume-title":"Model Checking Software","author":"D. Bo\u0161na\u010dki","year":"2005","unstructured":"Bo\u0161na\u010dki, D., Holzmann, G.J.: Improving Spin\u2019s Partial-Order Reduction for Breadth-First Search. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 91\u2013105. Springer, Heidelberg (2005)"},{"issue":"8","key":"17_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., Mcmillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 States and beyond. Information and computation\u00a098(2), 142\u2013170 (1992)","journal-title":"Information and computation"},{"issue":"11","key":"17_CR6","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69850-0_1","volume-title":"25 Years of Model Checking","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M.: The Birth of Model Checking. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol.\u00a05000, pp. 1\u201326. Springer, Heidelberg (2008)"},{"issue":"1","key":"17_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Formal Methods in System Design\u00a09(1), 77\u2013104 (1996)","journal-title":"Formal Methods in System Design"},{"key":"17_CR9","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-642-21834-7_20","volume-title":"Applications and Theory of Petri Nets","author":"M. Colange","year":"2011","unstructured":"Colange, M., Baarir, S., Kordon, F., Thierry-Mieg, Y.: Crocodile: A Symbolic\/Symbolic Tool for the Analysis of Symmetric Nets with Bag. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 338\u2013347. Springer, Heidelberg (2011)"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1109\/ACSD.2012.28","volume-title":"12th International Conference on Application of Concurrency to System Design (ACSD 2012)","author":"M. Colange","year":"2012","unstructured":"Colange, M., Kordon, F., Thierry-Mieg, Y., Baarir, S.: State Space Analysis using Symmetries on Decision Diagrams. In: 12th International Conference on Application of Concurrency to System Design (ACSD 2012), pp. 164\u2013172. IEEE Computer Society, Hamburg (2012)"},{"key":"17_CR12","unstructured":"Cosyverif: a verification environment (2012), http:\/\/www.cosyverif.org"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","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. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 101\u2013120. Springer, Heidelberg (2002)"},{"key":"17_CR14","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":"17_CR15","doi-asserted-by":"crossref","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer (2003) ISBN: 3-540-41217-4","DOI":"10.1007\/978-3-662-05324-9"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Wolper, P.: A partial approach to model checking. In: Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, LICS 1991, pp. 406\u2013415 (July 1991)","DOI":"10.1109\/LICS.1991.151664"},{"key":"17_CR17","unstructured":"GreatSPN: Petri nets suite (2012), http:\/\/www.di.unito.it\/~greatspn"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Haddad, S., Kordon, F., Petrucci, L., Pradat-Peyre, J., Treves, L.: Efficient state-based analysis by introducing bags in petri nets color domains. In: American Control Conference, ACC 2009, pp. 5018\u20135025. IEEE (2009)","DOI":"10.1109\/ACC.2009.5160020"},{"issue":"3-4","key":"17_CR19","doi-asserted-by":"crossref","first-page":"413","DOI":"10.3233\/FI-2009-137","volume":"94","author":"A. Hamez","year":"2009","unstructured":"Hamez, A., Thierry-Mieg, Y., Kordon, F.: Building efficient model checkers using hierarchical set decision diagrams and automatic saturation. Fundamenta Informaticae\u00a094(3-4), 413\u2013437 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-29072-5_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency V","author":"S. Hong","year":"2012","unstructured":"Hong, S., Kordon, F., Paviot-Adet, E., Evangelista, S.: Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P\/T Nets. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) ToPNoC V. LNCS, vol.\u00a06900, pp. 121\u2013140. Springer, Heidelberg (2012)"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K.: Coloured Petri nets and the invariant-method. Theor. Comput. Sci.\u00a014, 317\u2013336 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (2009) ISBN: ISBN 978-3-642-00283-0","DOI":"10.1007\/b95112"},{"key":"17_CR23","unstructured":"Junttila, T.: On the Symmetry Reduction Method for Petri Nets and similar formalisms. Ph.D. thesis, Helsinki University of Technology, Espoo, Finland (2003)"},{"key":"17_CR24","unstructured":"libits (2012), http:\/\/move.lip6.fr\/software\/DDD"},{"key":"17_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-24690-6_22","volume-title":"Software Engineering and Formal Methods","author":"R. Muschevici","year":"2011","unstructured":"Muschevici, R., Proen\u00e7a, J., Clarke, D.: Modular Modelling of Software Product Lines with Feature Nets. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 318\u2013333. Springer, Heidelberg (2011)"},{"key":"17_CR26","unstructured":"Tanenbaum, A.: Operating Systems: Design and Implementation. Prentice Hall (1987)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44919-1_9","volume-title":"Applications and Theory of Petri Nets 2003","author":"Y. Thierry-Mieg","year":"2003","unstructured":"Thierry-Mieg, Y., Dutheillet, C., Mounier, I.: Automatic Symmetry Detection in Well-Formed Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 82\u2013101. Springer, Heidelberg (2003)"},{"key":"17_CR28","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)"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00768-2_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y. Thierry-Mieg","year":"2009","unstructured":"Thierry-Mieg, Y., Poitrenaud, D., Hamez, A., Kordon, F.: Hierarchical Set Decision Diagrams and Regular Models. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 1\u201315. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Large-Scale Complex IT Systems. Development, Operation and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34059-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T22:21:37Z","timestamp":1744323697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34059-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340581","9783642340598"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34059-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}