{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216156},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661320"},{"type":"electronic","value":"9783540487456"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48745-x_2","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T04:12:59Z","timestamp":1193458379000},"page":"6-25","source":"Crossref","is-referenced-by-count":69,"title":["Efficient Reachability Set Generation and Storage Using Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Andrew S.","family":"Miner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Ciardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"S. C. Allmaier, M. Kowarschik, and G. Horton. State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor. In Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM\u201997), pages 112\u2013121, St. Malo, France, June 1997. IEEE Comp. Soc. Press.","DOI":"10.1109\/PNPM.1997.595542"},{"issue":"8","key":"2_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comp., 35(8):677\u2013691, Aug. 1986.","journal-title":"IEEE Trans. Comp."},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comp. Surv., 24(3):393\u2013318, 1992.","journal-title":"ACM Comp. Surv."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"P. Buchholz. Hierarchical structuring of superposed GSPNs. In Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM\u201997), pages 81\u201390, St. Malo, France, June 1997. IEEE Comp. Soc. Press.","DOI":"10.1109\/PNPM.1997.595539"},{"key":"2_CR5","series-title":"ICASE Report","volume-title":"Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models","author":"P. Buchholz","year":"1997","unstructured":"P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper. Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models. ICASE Report 97-66 (NASA\/CR-97-206274), Institute for Computer Applications in Science and Engineering, Hampton, VA, 1997. Submitted for publication."},{"key":"2_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-58152-9_11","volume-title":"Application and Theory of Petri Nets 1994","author":"G. Ciardo","year":"1994","unstructured":"G. Ciardo. Petri nets with marking-dependent arc multiplicity: properties and analysis. In R. Valette, editor, Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th Int. Conf. on Applications and Theory of Petri Nets, Zaragoza, Spain), pages 179\u2013198. Springer-Verlag, June 1994."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"G. Ciardo and A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. In Proc. IEEE International Computer Performance and Dependability Symposium (IPDS\u201996), page 60, Urbana-Champaign, IL, USA, Sept. 1996. IEEE Comp. Soc. Press.","DOI":"10.1109\/IPDS.1996.540204"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BFb0022196","volume-title":"Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation","author":"G. Ciardo","year":"1997","unstructured":"G. Ciardo and A. S. Miner. Storage alternatives for large structured state spaces. In R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, editors, Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 1245, pages 44\u201357, St. Malo, France, June 1997. Springer-Verlag."},{"key":"2_CR9","series-title":"ICASE Report","volume-title":"On the use of Kronecker operators for the solution of generalized stochastic Petri nets","author":"G. Ciardo","year":"1996","unstructured":"G. Ciardo and M. Tilgner. On the use of Kronecker operators for the solution of generalized stochastic Petri nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, Hampton, VA, May 1996."},{"key":"2_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In R. Valette, editor, Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th Int. Conf. on Applications and Theory of Petri Nets), pages 258\u2013277, Zaragoza, Spain, June 1994. Springer-Verlag."},{"key":"2_CR11","unstructured":"T. Kam. State Minimization of Finite State Machines using Implicit Techniques. PhD thesis, University of California at Berkeley, 1995."},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/32.541433","volume":"22","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. Softw. Eng., 22(4):615\u2013628, Sept. 1996.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61363-3_15","volume-title":"Application and Theory of Petri Nets 1996","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Reachability analysis based on structured representations. In J. Billington and W. Reisig, editors, Application and Theory of Petri Nets 1996, Lecture Notes in Computer Science 1091 (Proc. 17th Int. Conf. on Applications and Theory of Petri Nets, Osaka, Japan), pages 269\u2013288. Springer-Verlag, June 1996."},{"issue":"4","key":"2_CR14","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"C. Y. Lee","year":"1959","unstructured":"C. Y. Lee. Representation of switching circuits by binary-decision programs. Bell Syst. Techn. J., 38(4):985\u2013999, July 1959.","journal-title":"Bell Syst. Techn. J."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"E. Pastor and J. Cortadella. Efficient encoding schemes for symbolic analysis of Petri nets. In Proc. Design Automation and Test in Europe, Feb. 1998.","DOI":"10.1109\/DATE.1998.655948"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"E. Pastor and J. Cortadella. Structural methods applied to the symbolic analysis of Petri nets. In Proc. IEEE\/ACM International Workshop on Logic Synthesis, June 1998.","DOI":"10.1007\/3-540-48745-X_3"},{"key":"2_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-58152-9_23","volume-title":"Application and Theory of Petri Nets 1994","author":"E. Pastor","year":"1994","unstructured":"E. Pastor, O. Roig, J. Cortadella, and R. Badia. Petri net analysis using boolean manipulation. In R. Valette, editor, Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th Int. Conf. on Applications and Theory of Petri Nets, Zaragoza, Spain), pages 416\u2013435. Springer-Verlag, June 1994."},{"key":"2_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-60029-9_50","volume-title":"Application and Theory of Petri Nets 1995","author":"O. Roig","year":"1995","unstructured":"O. Roig, J. Cortadella, and E. Pastor. Verification of asynchronous circuits by BDD-based model checking of Petri nets. In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets 1995, Lecture Notes in Computer Science 935 (Proc. 16th Int. Conf. on Applications and Theory of Petri Nets, Turin, Italy), pages 374\u2013391. Springer-Verlag, June 1995."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"A. Srinivasan, T. Kam, S. Malik, and R. K. Brayton. Algorithms for discrete function manipulation. In International Conference on CAD, pages 92\u201395. IEEE Computer Society, 1990.","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"2_CR20","volume-title":"The Sharing Tree Data Structure, Theory and Applications in Formal Verification","author":"D. Zampuni\u00e8ris","year":"1997","unstructured":"D. Zampuni\u00e8ris. The Sharing Tree Data Structure, Theory and Applications in Formal Verification. PhD thesis, Department of Computer Science, University of Namur, Belgium, 1997."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48745-X_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:09:31Z","timestamp":1556921371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48745-X_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661320","9783540487456"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48745-x_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}