{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:38:21Z","timestamp":1759826301118,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T00:00:00Z","timestamp":1428883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,13]]},"DOI":"10.1145\/2695664.2695803","type":"proceedings-article","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T19:10:09Z","timestamp":1437419409000},"page":"1751-1758","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Symmetry reduced state classes for time petri nets"],"prefix":"10.1145","author":[{"given":"Pierre-Alain","family":"Bourdil","sequence":"first","affiliation":[{"name":"Univ de Toulouse, INSA, LAAS, Toulouse, France"}]},{"given":"Bernard","family":"Berthomieu","sequence":"additional","affiliation":[{"name":"Univ de Toulouse, LAAS, Toulouse, France"}]},{"given":"Silvano Dal","family":"Zilio","sequence":"additional","affiliation":[{"name":"Univ de Toulouse, LAAS, Toulouse, France"}]},{"given":"Fran\u00e7ois","family":"Vernadat","sequence":"additional","affiliation":[{"name":"Univ de Toulouse, INSA, LAAS, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2015,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"e_1_3_2_1_2_1","first-page":"41","volume-title":"Information processing 83: proceedings of the IFIP 9th World Computer Congress","author":"Berthomieu B.","year":"1983","unstructured":"B. Berthomieu and M. Menasche . An Enumerative Approach for Analyzing Time Petri Nets . In Information processing 83: proceedings of the IFIP 9th World Computer Congress , pages 41 -- 46 . Elsevier Science Publ . Comp. (North Holland), 1983 . B. Berthomieu and M. Menasche. An Enumerative Approach for Analyzing Time Petri Nets. In Information processing 83: proceedings of the IFIP 9th World Computer Congress, pages 41--46. Elsevier Science Publ. Comp. (North Holland), 1983."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765915"},{"key":"e_1_3_2_1_5_1","volume-title":"Insup Lee, Joseph Y-T. Leung and Sang Son","author":"Berthomieu B.","year":"2007","unstructured":"B. Berthomieu and F. Vernadat . State Space Abstractions for Time Petri Nets. Handbook of Real-Time and Embedded Systems , Ed. Insup Lee, Joseph Y-T. Leung and Sang Son , CRC Press , Boca Raton, FL ., U.S. A., 2007 . B. Berthomieu and F. Vernadat. State Space Abstractions for Time Petri Nets. Handbook of Real-Time and Embedded Systems, Ed. Insup Lee, Joseph Y-T. Leung and Sang Son, CRC Press, Boca Raton, FL., U.S. A., 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.3166\/tsi.22.435-459"},{"key":"e_1_3_2_1_7_1","first-page":"28","volume-title":"Application and Theory of Petri Nets","author":"Chiola G.","year":"1998","unstructured":"G. Chiola . Manual and Automatic Exploitation of Symmetries in SPN Models . In Application and Theory of Petri Nets , pages 28 -- 43 . Springer LNCS 1420, 1998 . G. Chiola. Manual and Automatic Exploitation of Symmetries in SPN Models. In Application and Theory of Petri Nets, pages 28--43. Springer LNCS 1420, 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733772"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625969"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_36"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9171-4"},{"key":"e_1_3_2_1_12_1","first-page":"46","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"Hendriks M.","year":"2003","unstructured":"M. Hendriks , G. Behrmann , K. G. Larsen , P. Niebert , and F. W. Vaandrager . Adding Symmetry Reduction to Uppaal . In Formal Modeling and Analysis of Timed Systems , pages 46 -- 59 , 2003 . M. Hendriks, G. Behrmann, K. G. Larsen, P. Niebert, and F. W. Vaandrager. Adding Symmetry Reduction to Uppaal. In Formal Modeling and Analysis of Timed Systems, pages 46--59, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008723125149"},{"key":"e_1_3_2_1_14_1","volume-title":"Applications and Theory of Petri Nets","author":"Junttila T. A.","year":"2004","unstructured":"T. A. Junttila . New Canonical Representative Marking Algorithms for Place\/Transition-Nets . In Applications and Theory of Petri Nets . Springer LNCS 3099, 2004 . T. A. Junttila. New Canonical Representative Marking Algorithms for Place\/Transition-Nets. In Applications and Theory of Petri Nets. Springer LNCS 3099, 2004."},{"key":"e_1_3_2_1_15_1","first-page":"58","author":"Merlin P. M.","year":"1974","unstructured":"P. M. Merlin . A Study of the Recoverability of Computing Systems . Irvine: Univ. California, Depart. of Information and Computer Sience , TR 58 , 1974 . P. M. Merlin. A Study of the Recoverability of Computing Systems. Irvine: Univ. California, Depart. of Information and Computer Sience, TR 58, 1974.","journal-title":"TR"},{"key":"e_1_3_2_1_16_1","volume-title":"Algebras of coloured Petri nets. Habilitation thesis","author":"Pommereau F.","year":"2009","unstructured":"F. Pommereau . Algebras of coloured Petri nets. Habilitation thesis , University Paris-East , Cr\u00e9teil, 11 2009 . F. Pommereau. Algebras of coloured Petri nets. Habilitation thesis, University Paris-East, Cr\u00e9teil, 11 2009."},{"key":"e_1_3_2_1_17_1","first-page":"23","author":"Ramalingam G.","year":"1995","unstructured":"G. Ramalingam , J. Song , L. Joscovicz , and R. E. Miller . Solving Difference Constraints Incrementally. Algorithmica , 23 , 1995 . G. Ramalingam, J. Song, L. Joscovicz, and R. E. Miller. Solving Difference Constraints Incrementally. Algorithmica, 23, 1995.","journal-title":"Solving Difference Constraints Incrementally. Algorithmica"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691744"},{"key":"e_1_3_2_1_20_1","first-page":"465","volume-title":"Application and Theory of Petri Nets","author":"Schmidt K.","year":"1825","unstructured":"K. Schmidt . LOLA A Low Level Analyser . In Application and Theory of Petri Nets , pages 465 -- 474 . Springer LNCS 1825 , 2000. K. Schmidt. LOLA A Low Level Analyser. In Application and Theory of Petri Nets, pages 465--474. Springer LNCS 1825, 2000."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/350887.350891"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/115220.115224"},{"key":"e_1_3_2_1_23_1","volume-title":"Reference Manual","author":"Starke P. H.","year":"1992","unstructured":"P. H. Starke and S. Roch . INA: Integrated Net Analyzer . Reference Manual , 1992 . P. H. Starke and S. Roch. INA: Integrated Net Analyzer. Reference Manual, 1992."},{"key":"e_1_3_2_1_24_1","first-page":"50","volume-title":"Formal Techniques for Networked and Distributed Systems","author":"Wang F.","year":"2002","unstructured":"F. Wang and K. Schmidt . Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures . In Formal Techniques for Networked and Distributed Systems , pages 50 -- 64 . Springer LNCS 2529, 2002 . F. Wang and K. Schmidt. Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. In Formal Techniques for Networked and Distributed Systems, pages 50--64. Springer LNCS 2529, 2002."}],"event":{"name":"SAC 2015: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Salamanca Spain","acronym":"SAC 2015"},"container-title":["Proceedings of the 30th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695803","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2695664.2695803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:32Z","timestamp":1750227152000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,13]]},"references-count":24,"alternative-id":["10.1145\/2695664.2695803","10.1145\/2695664"],"URL":"https:\/\/doi.org\/10.1145\/2695664.2695803","relation":{},"subject":[],"published":{"date-parts":[[2015,4,13]]},"assertion":[{"value":"2015-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}