{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:14Z","timestamp":1737063614624,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435396"},{"type":"electronic","value":"9783540460299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46029-2_12","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:26:30Z","timestamp":1180675590000},"page":"188-199","source":"Crossref","is-referenced-by-count":8,"title":["Symbolic Methods for the State Space Exploration of GSPN Models"],"prefix":"10.1007","author":[{"given":"Ian","family":"Davies","sequence":"first","affiliation":[]},{"given":"William J.","family":"Knottenbelt","sequence":"additional","affiliation":[]},{"given":"Pieter S.","family":"Kritzinger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone-Marsan","year":"1984","unstructured":"M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93\u2013122, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"12_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","volume-title":"Proc. 20th Intl. Conf. of the Application and Theory of Petri Nets","author":"A.S. Miner","year":"1999","unstructured":"A.S. Miner and G. Ciardo. Efficient reachability set generation and storage using decision diagrams. LNCS 1639, Proc. 20th Intl. Conf. of the Application and Theory of Petri Nets, pages 6\u201325, 1999."},{"issue":"9","key":"12_CR3","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"B. Bollig and I. Wegener. Improving the variable ordering of OBBDs is NP-complete. IEEE Transactions on Computers, 45(9):993\u20131006, 1996.","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"B.R. Haverkort, A. Bell, H.C. Bohnenkamp. On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. Proc. 8th Intl Conf. Petri Nets and Perf. Models (PNPM\u201999), pages 12\u201321, 1999.","DOI":"10.1109\/PNPM.1999.796528"},{"issue":"8","key":"12_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computer Science, C-35(8):677\u2013691, August 1986.","journal-title":"IEEE Transactions on Computer Science"},{"issue":"3","key":"12_CR6","doi-asserted-by":"crossref","first-page":"293","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 Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"ACM Computing Surveys"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"E. Pastor and J. Cortadella. Petri net analysis using boolean function manipulation. Technical Report, University of Zaragoza, 1993.","DOI":"10.1007\/3-540-58152-9_23"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"E. Pastor and J. Cortadella. Efficient Encoding Schemes for Symbolic Analysis of Petri nets. Proc. Design, Automation and Test in Europe, pages 790\u2013795, 1998.","DOI":"10.1109\/DATE.1998.655948"},{"issue":"2\/3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1008647823331","volume":"10","author":"M. Fujita","year":"1997","unstructured":"M. Fujita, P. McGeer, and J.-Y. Yang. Multi-terminal binary decision diagrams: an efficient data structure for matrix representations. Formal Methods in System Design, 10(2\/3):149\u2013169, 1997.","journal-title":"Formal Methods in System Design"},{"key":"12_CR10","unstructured":"G. Ciardo, G. Luettgen, R. Siminiceanu. Efficient symbolic state-space construction for asynchronous systems. ICASE Report No. 99-50, December 1999."},{"key":"12_CR11","unstructured":"H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. 3rd Int. Workshop on the Num. Solution of Markov Chains, pages 188\u2013207, 1999."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. Proc. 5th IEEE Symp. on Logic in Computer Science, pages 428\u2013439, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"12_CR13","unstructured":"W. Knottenbelt. Generalised Markovian Analysis of Timed Transition Systems. Master\u2019s thesis, University of Cape Town, June 1996."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"K.S. Brace, R.L. Rudell, R.E. Bryant. Efficient implementation of a BDD package. 27th ACM\/IEEE Design Automation Conference, pages 40\u201345, 1990.","DOI":"10.1145\/123186.123222"},{"key":"12_CR15","first-page":"111","volume":"1","author":"O. Coudert","year":"1990","unstructured":"O. Coudert, C. Berthet, J-C. Madre. Verification of Sequential Machines Using Boolean Functional Vectors. Applied Formal Methods For Correct VLSI Design, 1:111\u2013128, 1990.","journal-title":"Applied Formal Methods For Correct VLSI Design"},{"key":"12_CR16","unstructured":"P. Buchholz, G. Ciardo, S. Donatelli and P. Kemper. Kronecker operations and sparse matrices with applications to the solution of Markov models. ICASE Report No. 97-66, December 1997."},{"key":"12_CR17","volume-title":"Stochastic Petri Nets: An Introduction to the Theory","author":"P.S. Kritzinger","year":"1995","unstructured":"P.S. Kritzinger and F. Bause. Stochastic Petri Nets: An Introduction to the Theory. Verlag Vieweg, Wiesbaden, Germany, 1995."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"R.I. Bahar, E.A. Frohm, C.M. Gaona, G.D. Hactel, E. Macii, A. Pardo, F. Somenzi. Algebraic Decision Diagrams and their Applications. In Proc. International Conf. Computer-Aided Design (ICCAD), pages 188\u2013191, 1993.","DOI":"10.1109\/ICCAD.1993.580054"},{"key":"12_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-60029-9_40","volume-title":"Proc. 16th Intl Conference on the Application and Theory of Petri Nets","author":"S. Caselli","year":"1995","unstructured":"S. Caselli, G. Conte, P. Marenzoni. Parallel State Space Exploration for GSPN Models. LNCS 935, Proc. 16th Intl Conference on the Application and Theory of Petri Nets, pages 181\u2013200, June 1995."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"W.J. Knottenbelt, P.G. Harrison, M.A. Mestern, P.S. Kritzinger. A probabilistic dynamic technique for the distributed generation of very large state spaces. Performance Evaluation, pages 127\u2013148, February 2000.","DOI":"10.1016\/S0166-5316(99)00061-9"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation: Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46029-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:05:17Z","timestamp":1737061517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46029-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435396","9783540460299"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46029-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}