{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:34:07Z","timestamp":1729672447376,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/qest.2004.1348042","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"282-291","source":"Crossref","is-referenced-by-count":6,"title":["Saturation for a general class of models"],"prefix":"10.1109","author":[{"given":"A.S.","family":"Miner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-58152-9_23","article-title":"Petri net analysis using boolean manipulation","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":"18","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1991.238781"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.005"},{"key":"16","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","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)"},{"key":"13","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61363-3_15","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)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953360"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.01.006"},{"key":"12","first-page":"9","article-title":"Multi-valued decision diagrams: Theory and applications","volume":"4","author":"kam","year":"1998","journal-title":"Multiple-Valued Logic"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1997.595539"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"10"},{"key":"7","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)"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45232-4_6","article-title":"Logical and stochastic modeling with SMART","author":"ciardo","year":"2003","journal-title":"Proc 13th Int Conf on Modelling Techniques and Tools for Computer Performance Evaluation"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"4","first-page":"49","article-title":"Symbolic model checking with partitioned transition relations","author":"burch","year":"1991","journal-title":"International Conference on Very Large Scale Integration"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90026-Q"},{"key":"8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-36577-X_27","article-title":"Saturation unbound","author":"ciardo","year":"2003","journal-title":"Proc Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}],"event":{"name":"First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.","start":{"date-parts":[[2004,11,12]]},"location":"Enschede, Netherlands","end":{"date-parts":[[2004,11,12]]}},"container-title":["First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9341\/29678\/01348042.pdf?arnumber=1348042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:39:19Z","timestamp":1497613159000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348042\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/qest.2004.1348042","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}