{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:41:43Z","timestamp":1729672903495,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/acc.2009.5160020","type":"proceedings-article","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T15:56:27Z","timestamp":1248105387000},"page":"5018-5025","source":"Crossref","is-referenced-by-count":12,"title":["Efficient state-based analysis by introducing bags in Petri nets color domains"],"prefix":"10.1109","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Francois","family":"Pradat-Peyre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leolas","family":"Treves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.15"},{"key":"17","first-page":"23","article-title":"on the use of exact lumpability in partially symmetricalwell-formed nets","author":"baarir","year":"2005","journal-title":"QEST"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1109\/ACC.2009.5160020","article-title":"efficient state-based analysis by introducing bags in petri nets color domains: lsv. ecole nonnal superieure de cachan","author":"haddad","year":"2009"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050002"},{"key":"16","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-48153-2_12","article-title":"from asymmetry to full symmetry: new techniques for symmetry reduction in model checking","volume":"1703","author":"emerson","year":"1999","journal-title":"ser Lecture Notes in Computer Science"},{"article-title":"on the symmetry reduction method for petri nets and similar fonnalisms","year":"2003","author":"junttilu","key":"13"},{"year":"0","key":"14"},{"key":"11","article-title":"an approach to model variations of a scenario: application to intelligent transpon systems","author":"bonncfoi","year":"2006","journal-title":"Workshop Oil Modelling of Objects Components and Agents (MOCA'06)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90046-0"},{"key":"3","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"coloured petri ncts and cpn tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"STTT"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/HASE.2001.966807","article-title":"a survey: applying formal mcthods to a software intcnsivc system","author":"de groot","year":"2001","journal-title":"Proceedings 6th International High Assurance Systems Engineering Symposium"},{"key":"7","first-page":"1343","article-title":"stochastic well-fonned colored nets and symmetric modeling applications: ieee traflsactions 0n","volume":"42","author":"chiola","year":"1993","journal-title":"Computers"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_23"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90203-E"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00010-2"}],"event":{"name":"2009 American Control Conference","start":{"date-parts":[[2009,6,10]]},"location":"St. Louis, MO, USA","end":{"date-parts":[[2009,6,12]]}},"container-title":["2009 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5089257\/5159764\/05160020.pdf?arnumber=5160020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:06:49Z","timestamp":1497809209000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5160020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/acc.2009.5160020","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}