{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:39:30Z","timestamp":1742798370193,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsn.2002.1029009","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"637-646","source":"Crossref","is-referenced-by-count":7,"title":["Efficient state space generation of GSPNs using decision diagrams"],"prefix":"10.1109","author":[{"given":"A.S.","family":"Miner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"345","article-title":"Structural approaches for SPN analysis","author":"ciardo","year":"2000","journal-title":"High Performance Computing 2000 Grand Challenges in Computer Simulation"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022196"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796529"},{"key":"15","first-page":"328","article-title":"Saturation: An efficient iteration strategy for symbolic state space generation","author":"ciardo","year":"2001","journal-title":"Proc Tools and Algorithms for the Construction and Analysis of Systems (TACAS) LNCS 2031"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1996.540204"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2241-6_20"},{"key":"14","first-page":"103","article-title":"Efficient symbolic state-space construction for asynchronous systems","author":"ciardo","year":"2000","journal-title":"Application and Theory of Petri Nets 2000 (Proc 21st Int Conf on Applications and Theory of Petri Nets) LNCS 1825"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.214828"},{"article-title":"Analysis of large stochastic petri net models","year":"1989","author":"ciardo","key":"12"},{"key":"21","first-page":"9","article-title":"Multi-valued decision diagrams: Theory and applications","volume":"4","author":"kam","year":"1998","journal-title":"Multiple-Valued Logic"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90026-Q"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/32.541433"},{"key":"23","first-page":"269","article-title":"Reachability analysis based on structured representations","author":"kemper","year":"1996","journal-title":"Application and Theory of Petri Nets 1996 (Proc 17th Int Conf on Applications and Theory of Petri Nets) LNCS 1091"},{"key":"24","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/157485.164884","article-title":"on computing the transitive closure of a state transition relation","author":"matsunaga","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"article-title":"Data structures for the analysis of large structured markov models","year":"2000","author":"miner","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953360"},{"key":"27","first-page":"6","article-title":"Efficient reachability set generation and storage using decision diagrams","author":"miner","year":"1999","journal-title":"Application and Theory of Petri Nets 1999 (Proc 20th Int Conf on Applications and Theory of Petri Nets) LNCS 1639"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/339331.339417"},{"key":"29","first-page":"26","article-title":"Structural methods to improve the symbolic analysis of Petri nets","author":"pastor","year":"1999","journal-title":"Application and Theory of Petri Nets 1999 (Proc 20th Int Conf on Applications and Theory of Petri Nets) LNCS 1639"},{"key":"3","first-page":"136","article-title":"On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets","author":"balbo","year":"1987","journal-title":"2nd Int Workshop on Petri Nets and Performance Models (PNPM'87)"},{"key":"2","article-title":"Approximate GSPN analysis of multiserver polling systems","author":"ajmone marsan","year":"0","journal-title":"Proceedings of the International Conference on Telecommunication Distribution and Parallelism (TDP'96) La Londe Les Maures France June 1996"},{"key":"10","article-title":"Compiling techniques for the analysis of stochastic Petri nets","author":"chiola","year":"1988","journal-title":"Perf Eval"},{"key":"1","first-page":"44","article-title":"Generalized stochastic Petri nets revisited: Random switches and priorities","author":"ajmone marsan","year":"1987","journal-title":"2nd Int Workshop on Petri Nets and Performance Models (PNPM'87)"},{"key":"30","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-58152-9_23","article-title":"Petri net analysis using boolean manipulation. In R. Valette, editor","author":"pastor","year":"1994","journal-title":"Application and Theory of Petri Nets 1994 (Proc 15th Int Conf on Applications and Theory of Petri Nets)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.12.3.203.12634"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1997.595539"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/317795.317819"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1989.68542"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"}],"event":{"name":"International Conference on Dependable Systems and Networks","acronym":"DSN-02","location":"Washington, DC, USA"},"container-title":["Proceedings International Conference on Dependable Systems and Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7991\/22107\/01029009.pdf?arnumber=1029009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:42:04Z","timestamp":1497552124000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029009\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/dsn.2002.1029009","relation":{},"subject":[]}}