{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:10:22Z","timestamp":1737288622840,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_30","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:50:47Z","timestamp":1184601047000},"page":"435-449","source":"Crossref","is-referenced-by-count":2,"title":["Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets"],"prefix":"10.1007","author":[{"given":"Rub\u00e9n","family":"Carvajal-Schiaffino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Delzanno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Chiola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"30_CR1","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing. John Wiley & Sons, 1995."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and J. Hwang. Symbolic Model Checking: 1020 States and Beyond. In Proc. LICS\u2019 90, pages 428\u2013439, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"G. Chiola. Compiling Techniques for the Analysis of Stochastic Petri Nets. In Modelling Techniques and Tools for Computer Performance Evaluation, pages 11\u201324, 1989.","DOI":"10.1007\/978-1-4613-0533-0_2"},{"issue":"1\u20132","key":"30_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. In Performance Evaluation, 24(1\u20132):47\u201368, 1995.","journal-title":"Performance Evaluation"},{"key":"30_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BFb0022196","volume-title":"Proc. Modelling Techniques and Tools for Computer Performance Ev8luation","author":"G. Ciardo","year":"1997","unstructured":"G. Ciardo and A. S. Miner. Storage Alternatives for large structured state spaces. In Proc. Modelling Techniques and Tools for Computer Performance Ev8luation, LNCS 1245, pages 44\u201357. Springer, 1997."},{"key":"30_CR6","unstructured":"R. Carvajal-Schiaffino, G. Delzanno, and G. Chiola. Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets: A New \u2018Type 2\u2019 Validation Algorithm. Technical Report, DISI-00-10, Dipartimento di Informatica e Scienze dell\u2019Informazione dell\u2019Universit\u00e1 di Genova, October 2000."},{"key":"30_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/3-540-46419-0_29","volume-title":"Proc. TACAS 2000","author":"G. Delzanno","year":"2000","unstructured":"G. Delzanno and J. F. Raskin. Symbolic Representation of Upward-closed Sets. In Proc. TACAS 2000, LNCS 1785, pages 426\u2013440. Springer, 2000."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"J. Desel. Basic Linear Algebraic Techniques for Place\/Transition Nets. In Reisig and Rozenberg [RR98], pages 257\u2013308, 1998.","DOI":"10.1007\/3-540-65306-6_18"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"J. Desel and W. Reisig. Place\/Transition Petri Nets. In Reisig and Rozenberg [RR98], pages 122\u2013173, 1998.","DOI":"10.1007\/3-540-65306-6_15"},{"key":"30_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1023\/A:1008743212620","volume":"16","author":"J. Esparza","year":"2000","unstructured":"J. Esparza and S. Melzer. Verification of safety properties using integer programming: Beyond the state equation. Formal Methods in System Design, 16:159\u2013189, 2000.","journal-title":"Formal Methods in System Design"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"F. Gagnon, J.-Ch. Gr\u00e9goire, and D. Zampuni\u00e9ris. Sharing Trees for \u2018Onthe-fly\u2019 Verification. In Proc. FORTE\u2019 95, 1995.","DOI":"10.1007\/978-0-387-34945-9_30"},{"key":"30_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-63166-6_43","volume-title":"Proc. CAV\u201997","author":"B. Grahlmann","year":"1997","unstructured":"B. Grahlmann. The PEP Tool. In Proc. CAV\u201997, LNCS 1254, pages 440\u2013443. Springer, 1997."},{"issue":"2","key":"30_CR14","first-page":"32","volume":"69","author":"G. Holzmann","year":"1988","unstructured":"G. Holzmann. Algorithms for Automated Protocol Verification. AT&T Technical Journal 69(2):32\u201344, 1988.","journal-title":"AT&T Technical Journal"},{"key":"30_CR15","series-title":"Lect Notes Comput Sci","first-page":"192","volume-title":"Proc. CAV\u201991","author":"C. Jard","year":"1991","unstructured":"C. Jard and Th. J\u00e9ron. Bounded-memory Algorithms. In Proc. CAV\u201991, LNCS 575, pages 192\u2013202. Springer, 1991."},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"P. Marenzoni, S. Caselli, and G. Conte. Analysis of Large GSPN Models: A Distributed Solution Tool. In Proc. Int. Work. on Petri Nets and Performance, 1997.","DOI":"10.1109\/PNPM.1997.595543"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"30_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/3-540-61474-5_81","volume-title":"Proc. CAV\u2019 96","author":"H. Miller","year":"1996","unstructured":"H. Miller and S. Katz. Saving Space by Fully Exploiting Invisible Transitions. In Proc. CAV\u2019 96, LNCS 1102, pages 336\u2013347. Springer, 1996."},{"key":"30_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","volume-title":"Proc. ICATPN\u2019 99","author":"A. Miner","year":"1999","unstructured":"A. Miner and G. Ciardo. Efficient Reachability Set Generation and Storage using Decision Diagrams. In Proc. ICATPN\u2019 99, LNCS 1639, pages 6\u201325. Springer, 1999."},{"key":"30_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/3-540-48745-X_3","volume-title":"Proc. ICATPN\u2019 99","author":"E. Pastor","year":"1999","unstructured":"E. Pastor, J. Cortadella, and M. A. Pe\u00f1a. Structural Methods to Improve the Symbolic Analysis of Petri Nets. In Proc. ICATPN\u2019 99, LNCS 1639, pages 26\u201345. Springer, 1999."},{"key":"30_CR21","unstructured":"W. Reisig. Petri Nets. An introduction. EATCS Monographs on Theoretical Computer Science, Springer 1986."},{"key":"30_CR22","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets","author":"W. Reisig","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, LNCS 1491. Springer, 1998."},{"key":"30_CR23","unstructured":"A. Schrijver. Theory of Linear and Integer Programming, Wiley & Sons, 1994."},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"M. Silva, E. Teruel, and J. M. Colom. Linear Algebraic and Linear Programming Techniques for Analysis of Place\/Transition Net Systems. In Reisig and Rozenberg [RR98], pages 308\u2013309, 1998.","DOI":"10.1007\/3-540-65306-6_19"},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"K. Strehl and L. Thiele. Interval Diagram Techniques For Symbolic Model Checking of Petri Nets. In Proc. DATE\u201999, pages 756\u2013757, 1999.","DOI":"10.1145\/307418.307452"},{"key":"30_CR26","doi-asserted-by":"crossref","unstructured":"A. Valmari. The State Explosion Problem. In Reisig and Rozenberg [RR98], pages 308\u2013309, 1998.","DOI":"10.1007\/3-540-65306-6_21"},{"key":"30_CR27","unstructured":"G. Wimmel. A BDD-based Model Checker for the PEP Tool. Technical Report, University of Newcastle upon Tyne, 1997."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:40:39Z","timestamp":1737286839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}