{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:33:56Z","timestamp":1725557636941},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136740"},{"type":"electronic","value":"9783642136757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_19","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T11:26:50Z","timestamp":1276255610000},"page":"308-317","source":"Crossref","is-referenced-by-count":20,"title":["GreatSPN Enhanced with Decision Diagram Data Structures"],"prefix":"10.1007","author":[{"given":"Junaid","family":"Babar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Miner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester (1995)"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/123186.123222","volume-title":"27th ACM\/IEEE Design Automation Conference","author":"K.S. Brace","year":"1990","unstructured":"Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a BDD package. In: 27th ACM\/IEEE Design Automation Conference, pp. 40\u201345. ACM Press, New York (1990)"},{"issue":"8","key":"19_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph\u2013based algorithms for boolean function manipulation. IEEE Trans. Comput.\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"issue":"11","key":"19_CR4","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput.\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"19_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s10703-006-0033-y","volume":"31","author":"G. Ciardo","year":"2007","unstructured":"Ciardo, G., L\u00fcttgen, G., Miner, A.S.: Exploiting interleaving semantics in symbolic state\u2013space generation. Formal Methods in System Design\u00a031(1), 63\u2013100 (2007)","journal-title":"Formal Methods in System Design"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., Trivedi, K.S.: A decomposition approach for stochastic reward net models. Perf. Eval.\u00a018, 37\u201359 (1993)","journal-title":"Perf. Eval."},{"key":"19_CR7","unstructured":"LibDDD webpage, \n                    \n                      http:\/\/move.lip6.fr\/software\/DDD"},{"issue":"2-3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1008647823331","volume":"10","author":"M. Fujita","year":"1997","unstructured":"Fujita, M., McGeer, P., Yang, J.Y.: Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. Formal Methods in System Design\u00a010(2-3), 149\u2013169 (1997)","journal-title":"Formal Methods in System Design"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-68746-7_16","volume-title":"Applications and Theory of Petri Nets","author":"A. Hamez","year":"2008","unstructured":"Hamez, A., Thierry-Mieg, Y., Kordon, F.: Hierarchical set decision diagrams and automatic saturation. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 211\u2013230. Springer, Heidelberg (2008)"},{"key":"19_CR10","unstructured":"IDD-CSL webpage, \n                    \n                      http:\/\/www-dssz.informatik.tu-cottbus.de"},{"issue":"1-2","key":"19_CR11","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R., Sangiovanni-Vincentelli, A.: Multi\u2013valued decision diagrams: theory and applications. Multiple-Valued Logic\u00a04(1-2), 9\u201362 (1998)","journal-title":"Multiple-Valued Logic"},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/12.485378","volume":"45","author":"Y.T. Lai","year":"1996","unstructured":"Lai, Y.T., Pedram, M., Vrudhula, S.: Formal verification using edge-valued binary decision diagrams. IEEE Trans. Comput.\u00a045(2), 247\u2013255 (1996)","journal-title":"IEEE Trans. Comput."},{"key":"19_CR13","unstructured":"MEDDLY webpage, \n                    \n                      http:\/\/sourceforge.net\/projects\/meddly"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-24611-4_9","volume-title":"Validation of Stochastic Systems","author":"A. Miner","year":"2004","unstructured":"Miner, A., Parker, D.: Symbolic representations and analysis of large state spaces. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 296\u2013338. Springer, Heidelberg (2004)"},{"key":"19_CR15","unstructured":"Moebius webpage, \n                    \n                      http:\/\/www.mobius.illinois.edu"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","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":"Pastor, E., Roig, O., Cortadella, J., Badia, R.M.: Petri Net Analysis Using Boolean Manipulation. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 416\u2013435. Springer, Heidelberg (1994)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-03845-7_20","volume-title":"Computational Methods in Systems Biology","author":"M. Schwarick","year":"2009","unstructured":"Schwarick, M., Heiner, M.: CSL model checking of biochemical networks with interval decision diagrams. In: Degano, P., Gorrieri, R. (eds.) Computational Methods in Systems Biology. LNCS, vol.\u00a05688, pp. 296\u2013312. Springer, Heidelberg (2009)"},{"key":"19_CR18","unstructured":"SMART webpage, \n                    \n                      http:\/\/www.cs.ucr.edu\/~ciardo\/SMART"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13675-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:10:24Z","timestamp":1619770224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}