{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:28:22Z","timestamp":1773235702922,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642048548","type":"print"},{"value":"9783642048562","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04856-2_7","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:41:51Z","timestamp":1257320511000},"page":"159-188","source":"Crossref","is-referenced-by-count":1,"title":["A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example"],"prefix":"10.1007","author":[{"given":"Fabien","family":"Bonnefoi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Choppy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B book - Assigning Programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B book - Assigning Programs to meanings. Cambridge Univ. Press, Cambridge (1996)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"issue":"3","key":"7_CR3","first-page":"251","volume":"12","author":"J. Billington","year":"2005","unstructured":"Billington, J., Gallasch, G.E., Petrucci, L.: Verification of the class of stop-and-wait protocols modelled by coloured Petri nets. Nord. J. Comput.\u00a012(3), 251\u2013274 (2005)","journal-title":"Nord. J. Comput."},{"key":"7_CR4","unstructured":"Bonnefoi, F., Bellotti, F., Scendzielorz, T., Visintainer, F.: SAFESPOT Applications for Infrasructure-based Co-operative Road Safety. In: 14th World Congress and Exhibition on Intelligent Transport Systems and Services (2007)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/ITSC.2007.4357718","volume-title":"10th International IEEE Conference on Intelligent Transportation Systems (ITSC 2007)","author":"F. Bonnefoi","year":"2007","unstructured":"Bonnefoi, F., Hillah, L., Kordon, F., Renault, X.: Design, modeling and analysis of ITS using UML and Petri Nets. In: 10th International IEEE Conference on Intelligent Transportation Systems (ITSC 2007), pp. 314\u2013319. IEEE Press, Los Alamitos (2007)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-60029-9_37","volume-title":"Application and Theory of Petri Nets 1995","author":"R. Brgan","year":"1995","unstructured":"Brgan, R., Poitrenaud, D.: An efficient algorithm for the computation of stubborn sets of well formed Petri nets. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 121\u2013140. Springer, Heidelberg (1995)"},{"key":"7_CR7","unstructured":"Brignolo, R.: Co-operative road safety - the SAFESPOT integrated project. In: APSN - APROSYS Conference. Advanced Passive Safety Network (May 2006)"},{"issue":"7","key":"7_CR8","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1109\/32.859532","volume":"26","author":"D. Buchs","year":"2000","unstructured":"Buchs, D., Guelfi, N.: A formal specification framework for object-oriented distributed systems. IEEE Trans. Software Eng.\u00a026(7), 635\u2013652 (2000)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"7_CR9","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. Inf. Comput.\u00a098(2), 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"key":"7_CR10","unstructured":"Covault, R.B.C., Driscoll, D.: Uncertainties and Error Propagation - Appendix V of Physics Lab Manual. Case Western Reserve University (2005)"},{"issue":"11","key":"7_CR11","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 colored nets and symmetric modeling applications. IEEE Trans. Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Computers"},{"issue":"1\u20132","key":"7_CR12","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"},{"issue":"1&2","key":"7_CR13","first-page":"47","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets Performance Evaluation. Special issue on Performance Modeling Tools\u00a024(1&2), 47\u201368 (1995)","journal-title":"Special issue on Performance Modeling Tools"},{"key":"7_CR14","volume-title":"Control Nonlinear and Hybrid Process Systems: Designs for Uncertainty, Constraints and Time-delays","author":"P. Christofides","year":"2005","unstructured":"Christofides, P., El-Farra, N.: Control Nonlinear and Hybrid Process Systems: Designs for Uncertainty, Constraints and Time-delays. Springer, Heidelberg (2005)"},{"key":"7_CR15","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.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 101\u2013120. Springer, Heidelberg (2002)"},{"key":"7_CR16","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":"7_CR17","unstructured":"The CPN Tools Homepage (2007), \n                    http:\/\/www.daimi.au.dk\/CPNtools"},{"key":"7_CR18","first-page":"2036","volume-title":"Proceedings of Vehicular Technology Conference, VTC Spring","author":"J. Daniel","year":"2008","unstructured":"Daniel, J., Luca, D.: IEEE 802.11p: Towards an International Standard for Wireless Access in Vehicular Environments. In: Proceedings of Vehicular Technology Conference, VTC Spring, pp. 2036\u20132040. IEEE, Los Alamitos (2008)"},{"issue":"1-2","key":"7_CR19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R. David","year":"2001","unstructured":"David, R., Alla, H.: On Hybrid Petri Nets. Discrete Event Dynamic Systems: Theory and Applications\u00a011(1-2), 9\u201340 (2001)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Dougherty, J., Kohavi, R., Sahami, M.: Supervised and unsupervised discretization of continuous features. In: Int. Conf. on Machine Learning, pp. 194\u2013202 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50032-3"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E.A. Emerson","year":"1985","unstructured":"Emerson, E.A., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. J. Comput. Syst. Sci.\u00a030(1), 1\u201324 (1985)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR22","unstructured":"Frame Forum. The FRAME forum home page, \n                    http:\/\/www.frame-online.net"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-52494-0_31","volume-title":"Advances in Petri Nets 1989","author":"S. Haddad","year":"1990","unstructured":"Haddad, S.: A reduction theory for coloured nets. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 209\u2013235. Springer, Heidelberg (1990)"},{"key":"7_CR24","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), St-Louis, USA. IEEE, Los Alamitos (2009)"},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1142\/S0129626406002502","volume":"16","author":"S. Haddad","year":"2006","unstructured":"Haddad, S., Pradat-Peyre, J.-F.: New efficient Petri nets reductions for parallel programs verification. Parallel Processing Letters\u00a016(1), 101\u2013116 (2006)","journal-title":"Parallel Processing Letters"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-540-73094-1_29","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"A. Hamez","year":"2007","unstructured":"Hamez, A., Kordon, F., Thierry-Mieg, Y., Legond-Aubry, F.: dmcG: a distributed symbolic model checker based on GreatSPN. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 495\u2013504. Springer, Heidelberg (2007)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/11888116_23","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"L. Hillah","year":"2006","unstructured":"Hillah, L., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: PN standardisation: A survey. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 307\u2013322. Springer, Heidelberg (2006)"},{"key":"7_CR28","first-page":"139","volume-title":"FMICS 2004","author":"J. Hugues","year":"2004","unstructured":"Hugues, J., Thierry-Mieg, Y., Kordon, F., Pautet, L., Baarir, S., Vergnaud, T.: On the Formal Verification of Middleware Behavioral Properties. In: FMICS 2004, pp. 139\u2013157. Elsevier, Amsterdam (2004)"},{"key":"7_CR29","unstructured":"ISO\/IEC-JTC1\/SC7\/WG19. International Standard ISO\/IEC 15909: Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation (December 2004)"},{"key":"7_CR30","series-title":"Monograph","volume-title":"Coloured Petri Nets, Modelling and Validation of Concurrent Systems","author":"K. Jensen","year":"2008","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets, Modelling and Validation of Concurrent Systems. Monograph. Springer, Heidelberg (2008)"},{"key":"7_CR31","unstructured":"Junttila, T.: On the symmetry reduction method for Petri Nets and similar formalisms. PhD thesis, Helsinki University of Technology, Espoo, Finland (2003)"},{"issue":"1-2","key":"7_CR32","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R., Sangiovanni-Vincentelli, A.L.: Multi-Valued Decision Diagrams: Theory and Applications. International Journal on Multiple-Valued Logic\u00a04(1-2), 9\u201362 (1998)","journal-title":"International Journal on Multiple-Valued Logic"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11888116_25","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"F. Kordon","year":"2006","unstructured":"Kordon, F., Linard, A., Paviot-Adet, E.: Optimized Colored Nets Unfolding. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 339\u2013355. Springer, Heidelberg (2006)"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","first-page":"263","volume-title":"Applications and Theory of Petri Nets 2001","author":"C. Lakos","year":"2001","unstructured":"Lakos, C., Lewis, G.: Incremental State Space Construction for Coloured Petri Nets. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 263\u2013282. Springer, Heidelberg (2001)"},{"key":"7_CR35","unstructured":"Lewis, G.: Incremental specification and analysis in the context of coloured Petri nets. PhD thesis, University of Hobart, Tasmania (2002)"},{"key":"7_CR36","unstructured":"Lindberg, V.: Uncertainties and Error Propagation - Part I of a manual on Uncertainties, Graphing, and the Vernier Caliper. Rochester Inst. of Technology (2000)"},{"key":"7_CR37","unstructured":"LIP6\/MoVe. The CPN-AMI home page, \n                    http:\/\/www.lip6.fr\/cpn-ami\/"},{"key":"7_CR38","unstructured":"IEEE 802.11 Working Group for WLAN Standards. IEEE 802.11 tm Wireless Local Area Networks. IEEE, Los Alamitos (2008)"},{"key":"7_CR39","unstructured":"ISO TC204 WG-16. CALM architecture. ISO (2007)"},{"key":"7_CR40","unstructured":"Petri Nets Steering Committee. Petri Nets Tool Database: quick and up-to-date overview of existing tools for Petri Nets, \n                    http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets\/tools\/db.html"},{"key":"7_CR41","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":"7_CR42","unstructured":"Varpaaniemi, K., Halme, J., Hiekkanen, K., Pyssysalo, T.: Prod reference manual. Technical report, Helsinki University of Technology (1995)"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume-title":"Advances in Petri Nets 1987","author":"J. Vautherin","year":"1987","unstructured":"Vautherin, J.: Parallel systems specifications with coloured Petri nets and algebraic specifications. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 293\u2013308. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency III"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04856-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T20:25:09Z","timestamp":1676060709000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04856-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048548","9783642048562"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04856-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}