{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T10:49:22Z","timestamp":1791024562602,"version":"4.1.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/iscis.2009.5291864","type":"proceedings-article","created":{"date-parts":[[2009,10,29]],"date-time":"2009-10-29T11:07:29Z","timestamp":1256814449000},"page":"543-548","source":"Crossref","is-referenced-by-count":7,"title":["An approach to state space reduction for systems with dynamic process creation"],"prefix":"10.1109","author":[{"given":"Hanna","family":"Klaudel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","author":"stein","year":"2007","journal-title":"SAGE Mathematics Software"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"12","author":"miller","year":"2006","journal-title":"Symmetry in temporal logic model checking"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2004.75"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_13"},{"key":"1","year":"0"},{"key":"10","article-title":"Practical Graph Isomorphism","volume":"30","author":"mckay","year":"1981","journal-title":"Congressus Numerantium"},{"key":"7","author":"junttila","year":"2003","journal-title":"On the symmetry reduction method for Petri nets and similar formalisms"},{"key":"6","volume":"fmsd 9","author":"ip","year":"1996","journal-title":"Better verification through symmetry"},{"key":"5","article-title":"Adding symmetry reduction to UPPAAL","volume":"2791","author":"hendriks","year":"2003","journal-title":"LNCS"},{"key":"4","author":"hagberg","year":"0","journal-title":"NetworkX High productivity software for complex networks"},{"key":"9","year":"0"},{"key":"8","author":"khomenko","year":"2003","journal-title":"Model checking based on prefixes of Petri net unfoldings"}],"event":{"name":"2009 24th International Symposium on Computer and Information Sciences (ISCIS)","location":"Guzelyurt, Cyprus","start":{"date-parts":[[2009,9,14]]},"end":{"date-parts":[[2009,9,16]]}},"container-title":["2009 24th International Symposium on Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5287478\/5291799\/05291864.pdf?arnumber=5291864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T00:26:22Z","timestamp":1489883182000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5291864\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iscis.2009.5291864","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}