{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:13Z","timestamp":1725490693516},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_9","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"82-101","source":"Crossref","is-referenced-by-count":14,"title":["Automatic Symmetry Detection in Well-Formed Nets"],"prefix":"10.1007","author":[{"given":"Yann","family":"Thierry-Mieg","sequence":"first","affiliation":[]},{"given":"Claude","family":"Dutheillet","sequence":"additional","affiliation":[]},{"given":"Isabelle","family":"Mounier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"9_CR1","unstructured":"CPN-AMI: a Petri net based CASE environment. url: http:\/\/www-src.lip6.fr\/cpn-ami."},{"issue":"11","key":"9_CR2","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers, 42(11):1343\u20131360, 1993.","journal-title":"IEEE Transactions on Computers"},{"issue":"1\u20132","key":"9_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science, 176(1\u20132):39\u201365, 1997.","journal-title":"Theoretical Computer Science"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"G. Chiola and G. Franceschinis. Structural colour simplification in Well-Formed coloured nets. In Proc. 4th Int. Workshop on Petri Nets and Performance Models, pages 144\u2013153, Melbourne, Australia, December 1991.","DOI":"10.1109\/PNPM.1991.238773"},{"key":"9_CR5","first-page":"87","volume-title":"Computer Hardware Description Languages and their Applications","author":"C.N. Ip","year":"1993","unstructured":"C.N. Ip and D.L. Dill. Better verification through symmetry. In D. Agnew, L. Claesen, and R. Camposano, editors, Computer Hardware Description Languages and their Applications, pages 87\u2013100, Ottawa, Canada, 1993. Elsevier Science Publishers B.V., Amsterdam, Netherland."},{"key":"9_CR6","unstructured":"D. Regep, Y. Thierry-Mieg, F. Gilliers, and F. Kordon. Mod\u00e9lisation et v\u00e9rification de syst\u00e8mes r\u00e9partis: une approche int\u00e9gr\u00e9e avec L f P. In AFADL 2003, Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels. INRIA, proceedings, January 2003."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"M. Doche, I. Vernier-Mounier, and F. Kordon. A modular approach to the specification and validation of an electrical flight control system. In FME\u201901, Formal Methods for Increasing Software Productivity, pages 590\u2013610, Berlin, Germany, March 2001. Springer Verlag.","DOI":"10.1007\/3-540-45251-6_34"},{"key":"9_CR8","unstructured":"GreatSPN: GRaphical Editor, Analyzer for Timed, and Stochastic Petri Nets. url: http:\/\/www.di.unito.it\/~greatspn\/."},{"issue":"1\u20132","key":"9_CR9","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-6423(96)00032-9","volume":"29","author":"J.-C. Fernandez","year":"1997","unstructured":"J-C. Fernandez, C. Jard, T. Jeron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29(1\u20132):123\u2013146, 1997.","journal-title":"Science of Computer Programming"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Serge Haddad, Jean Michel Ilie, M. Taghelit, and B. Zouari. Symbolic reachability graph and partial symmetries. In Application and Theory of Petri Nets, pages 238\u2013257, 1995.","DOI":"10.1007\/3-540-60029-9_43"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/3-540-44988-4_22","volume":"1825","author":"D. Poitrenaud","year":"2000","unstructured":"D. Poitrenaud and J-F. Pradat-Peyre. Pre-and post-agglomeration for ltl model-checking. Lecture Notes in Computer Science, 1825:387\u2013408, 2000.","journal-title":"Lecture Notes in Computer Science"},{"key":"9_CR12","unstructured":"D. Regep and F. Kordon. L f P: a specification language for rapid prototyping of concurrent systems. In 12th IEEE International Workshop on Rapid System Prototyping, June 2001."},{"key":"9_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"2nd International Workshop on Integrated Formal Method (IFM\u201900)","author":"V. Rusu","year":"2000","unstructured":"V. Rusu, L. du Bousquet, and T. J\u00e9ron. An approach to symbolic test generation. In 2nd International Workshop on Integrated Formal Method (IFM\u201900), number 1945 in LNCS, pages 338\u2013357, Dagstuhl, Germany, 2000. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:41:22Z","timestamp":1556811682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}