{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:33Z","timestamp":1751983653463},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_7","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:45:11Z","timestamp":1186411511000},"page":"104-123","source":"Crossref","is-referenced-by-count":15,"title":["Finding Stubborn Sets of Coloured Petri Nets without Unfolding"],"prefix":"10.1007","author":[{"given":"Lars Michael","family":"Kristensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0035390","volume-title":"Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Christensen","year":"1997","unstructured":"S. Christensen, J.B. J\u00f8rgensen, & L.M. Kristensen: Design\/CPN \u2014 A Computer Tool for Coloured Petri Nets. Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1217, Springer-Verlag, 1997. pp 209\u2013223."},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-60029-9_37","volume-title":"Proceedings of the 16th International Conference on Application and Theory of Petri Nets","author":"R. Brgan","year":"1995","unstructured":"R. Brgan and D. Poitrenuad An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. Proceedings of the 16th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, Springer-Verlag, 1995. pp 121\u2013140."},{"key":"7_CR3","unstructured":"D. Bertsekas & R Gallager: Data Networks (2nd Edition) Prentice-Hall, 1992."},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BFb0023731","volume-title":"Proceedings of the 2nd Workshop on Computer-Aided Verification","author":"P. Godefroid","year":"1991","unstructured":"P. Godefroid: Using Partial Orders to Improve Automatic Verification Methods. Proceedings of the 2nd Workshop on Computer-Aided Verification, Lecture Notes in Computer Science 531, Springer-Verlag 1991, pp. 175\u2013186."},{"key":"7_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"An Approach to the State-Explosion Problem","author":"P. Godefroid","year":"1996","unstructured":"P. Godefroid: Partial-Order Methods for the Verification of Concurrent Systems, An Approach to the State-Explosion Problem. Lecture Notes in Computer Science 1032, Springer-Verlag 1996, 143 p."},{"key":"7_CR6","unstructured":"K. Jensen: Coloured Petri Nets \u2014 Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1991."},{"key":"7_CR7","unstructured":"K. Jensen: Coloured Petri Nets \u2014 Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"Proceedings of CAV\u2019 93, 5th International Conference on Computer-Aided Verification","author":"D. Peled","year":"1993","unstructured":"D. Peled: All from One, One for All: On Model Checking Using Representatives. Proceedings of CAV\u2019 93, 5th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science 697, Springer-Verlag 1993, pp. 409\u2013423."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00121262","volume":"8","author":"D. Peled","year":"1996","unstructured":"D. Peled: Combining Partial Order Reductions with On-the-fly Model Checking. Formal Methods in System Design 8 1996, pp. 39\u201364.","journal-title":"Formal Methods in System Design"},{"key":"7_CR10","volume-title":"Design and Implementation of a Place Invariant Tool for Coloured Petri Nets","author":"J. Toksvig","year":"1995","unstructured":"J. Toksvig. Design and Implementation of a Place Invariant Tool for Coloured Petri Nets. Master\u2019s thesis, Computer Science Department, University of Aarhus, Denmark, 1995."},{"key":"7_CR11","unstructured":"A. Valmari: Error Detection by Reduced Reachability Graph Generation. Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, pp. 95\u2013112."},{"key":"7_CR12","unstructured":"A. Valmari: State Space Generation: Efficiency and Practicality. PhD Thesis, Tampere University of Technology Publications 55, 1988, 169 p."},{"key":"7_CR13","unstructured":"A. Valmari: Stubborn Sets of Coloured Petri Nets. Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark 1991, pp. 102\u2013121."},{"key":"7_CR14","first-page":"6","volume":"46","author":"A. Valmari","year":"1994","unstructured":"A. Valmari: State of the Art Report: Stubborn Sets. Invited article, Petri Net Newsletter 46, April 1994, pp. 6\u201314.","journal-title":"Invited article, Petri Net Newsletter"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T21:31:22Z","timestamp":1550698282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}