{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:46:07Z","timestamp":1729619167478,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/icsmc.2008.4811863","type":"proceedings-article","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T09:25:32Z","timestamp":1239182732000},"page":"3636-3641","source":"Crossref","is-referenced-by-count":3,"title":["A technique for generating the reduced reachability graph of petri net models"],"prefix":"10.1109","author":[{"given":"Farooq","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hejiao","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-long","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Waqas","family":"Anwer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"13"},{"key":"11","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s10703-005-4594-y","article-title":"on stubborn sets in the verfication of linear time temporal properties","volume":"26","author":"varpaaniemi","year":"2005","journal-title":"Formal Methods in System Design"},{"year":"0","key":"12"},{"key":"3","first-page":"429","article-title":"the state explosion problem","volume":"1491","author":"valmari","year":"1998","journal-title":"LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050035"},{"key":"7","first-page":"548","article-title":"on combining the stubborn set method with sleep set method","volume":"815","author":"varpaaniemi","year":"1994","journal-title":"LNCS"},{"article-title":"partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem","year":"1994","author":"godefroid","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019976"},{"key":"4","first-page":"6","article-title":"state of the art report: stubborn sets","volume":"46","author":"valmari","year":"1994","journal-title":"Petri Net Newsletter"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0045-7906(01)00034-9","article-title":"on reachability graphs of petri nets","volume":"29","author":"xinming","year":"2003","journal-title":"Computers and Electrical Engineering"}],"event":{"name":"2008 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2008,10,12]]},"location":"Singapore, Singapore","end":{"date-parts":[[2008,10,15]]}},"container-title":["2008 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4803719\/4811240\/04811863.pdf?arnumber=4811863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T14:41:58Z","timestamp":1497796918000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4811863\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2008.4811863","relation":{},"ISSN":["1062-922X"],"issn-type":[{"type":"print","value":"1062-922X"}],"subject":[],"published":{"date-parts":[[2008,10]]}}}