{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:54:05Z","timestamp":1742799245631},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_19","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"314-334","source":"Crossref","is-referenced-by-count":5,"title":["Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Mailund","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-58152-9_6","volume-title":"Proceedings of ICATPN\u201994","author":"G. Berthelot","year":"1994","unstructured":"G. Berthelot. Occurrence Graphs for Interval Timed Coloured Nets. In Proceedings of ICATPN\u201994, volume 815 of Lecture Notes in Computer Science, pages 79\u201398. Springer Verlag, 1994."},{"key":"19_CR2","unstructured":"D. Bertsekas and R. Gallager. Data Networks. Prentice-Hall, Inc., 1992."},{"key":"19_CR3","unstructured":"S. Christensen, K. Jensen, and L.M. Kristensen. Design\/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. Online version: \n                    http:\/\/www.daimi.au.dk\/designCPN\/\n                    \n                  ."},{"key":"19_CR4","unstructured":"S. Christensen, K. Jensen, T. Mailund, and L. M. Kristensen. State Space Methods for Timed Coloured Petri Nets. In Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin Germany, September 2001."},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/3-540-63139-9_47","volume-title":"Proceedings of ICATPN\u201997","author":"S. Christensen","year":"1997","unstructured":"S. Christensen and J. B. J\u00f8rgensen. Analysis of Bang and Olufsen\u2019s BeoLink Audio\/Video System Using Coloured Petri Nets. In P. Az\u00e9ma and G. Balbo, editors, Proceedings of ICATPN\u201997, volume 1248 of Lecture Notes in Computer Science, pages 387\u2013406. Springer-Verlag, 1997."},{"key":"19_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BFb0035390","volume-title":"Proceedings of TACAS\u201997","author":"S. Christensen","year":"1997","unstructured":"S. Christensen, J. B. J\u00f8rgensen, and L. M. Kristensen. Design\/CPN-A Computer Tool for Coloured Petri Nets. In E. Brinksma, editor, Proceedings of TACAS\u201997, volume 1217 of Lecture Notes in Computer Science, pages 209\u2013223. Springer-Verlag, 1997."},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/3-540-45319-9_31","volume-title":"Proceedings of TACAS\u201901","author":"S. Christensen","year":"2001","unstructured":"S. Christensen, L. M. Kristensen, and T. Mailund. A Sweep-Line Method for State Space Exploration. In Tiziana Margaria and Wang Yi, editors, Proceedings of TACAS\u201901, volume 2031 of Lecture Notes in Computer Science, pages 450\u2013464. Springer-Verlag, 2001."},{"key":"19_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-45740-2_8","volume-title":"Proceedings of ICATPN\u201901","author":"S. Christensen","year":"2001","unstructured":"S. Christensen, L.M. Kristensen, and T. Mailund. Condensed State Spaces for Timed Petri Nets. In Jos\u00e9-Manuel Colom and Maciej Koutny, editors, Proceedings of ICATPN\u201901, volume 2075 of Lecture Notes in Computer Science, pages 101\u2013120. Springer-Verlag, 2001."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting Symmetries in Temporal Logic Model Checking. Formal Methods in System Design, 9, 1996.","DOI":"10.1007\/BF00625969"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and A. P. Sistla. Symmetry and Model Checking. Formal Methods in System Design, 9, 1996.","DOI":"10.1007\/BF00625970"},{"key":"19_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 1: Basic Concepts. Monographs in theoretical computer science, Springer-Verlag, Berlin, 1992."},{"key":"19_CR12","volume-title":"Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1994","unstructured":"K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 2: Analysis Methods. Monographs in theoretical computer science, Springer-Verlag, Berlin, 1994."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"K. Jensen. Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9, 1996.","DOI":"10.1007\/BF00625967"},{"key":"19_CR14","volume-title":"Design\/CPN Condensed State Space Tool Manual","author":"J. B. J\u00f8rgensen","year":"1996","unstructured":"J. B. J\u00f8rgensen and L. M. Kristensen. Design\/CPN Condensed State Space Tool Manual Department of Computer Science, University of Aarhus, Denmark, 1996. Online: \n                    http:\/\/www.daimi.au.dk\/designCPN\/\n                    \n                  ."},{"issue":"2","key":"19_CR15","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L. M. Kristensen","year":"1998","unstructured":"L. M. Kristensen, S. Christensen, and K. Jensen. The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98\u2013132, December 1998.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"19_CR16","unstructured":"Design\/CPN Online. \n                    http:\/\/www.daimi.au.dk\/designCPN\/\n                    \n                  ."},{"key":"19_CR17","series-title":"Lect Notes Comput Sci","first-page":"453","volume-title":"Proceedings of ICATPN\u201993","author":"W. M. P. Aalst van der","year":"1993","unstructured":"W. M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In Proceedings of ICATPN\u201993, volume 691 of Lecture Notes in Computer Science, pages 453\u2013472. Springer Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T06:25:59Z","timestamp":1550384759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}