{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:55:11Z","timestamp":1772121311924,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422525","type":"print"},{"value":"9783540457404","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_8","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"101-120","source":"Crossref","is-referenced-by-count":20,"title":["Condensed State Spaces for Timed Petri Nets"],"prefix":"10.1007","author":[{"given":"S\u00f8ren","family":"Christensen","sequence":"first","affiliation":[]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Mailund","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1991","unstructured":"R. Alur and T. Henzinger. Logics and Models of Real Time: A Survey. In Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 74\u2013106. Springer-Verlag, 1991."},{"key":"8_CR2","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."},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diaz. Modelling and Verification of Time Dependent Systems using Time Petri Nets. IEEE Transactions on Software Engineering, 17(3):259\u2013273, March 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR4","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":"8_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":"8_CR6","doi-asserted-by":"crossref","unstructured":"G. Ciardo, L. Cherkasova, V. Kotov, and T. Rokicki. Modeling a Scaleable High-Speed Interconnect with Stochastic Petri Nets. In Proceeding of PNPM\u201995, pages 83\u201393. IEEE Computer Society Press, 1995.","DOI":"10.1109\/PNPM.1995.524318"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"H. Clausen and P. R. Jensen. Validation and Performance Analysis of Network Algorithms by Coloured Petri Nets. In Proceedings of PNPM\u201993, pages 280\u2013289. IEEE Computer Society Press, 1993.","DOI":"10.1109\/PNPM.1993.393443"},{"key":"8_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lecture on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"J. Desel and W. Reisig. Place\/Transition Petri Nets. In Lecture on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 122\u2013173. Springer-Verlag, 1998."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and Modal Logic, volume B of Handbook of Theoretical Computer Science, chapter 16, pages 995\u20131072. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","first-page":"136","volume-title":"Proceedings of CAV\u201990","author":"E. A. Emerson","year":"1990","unstructured":"E. A. Emerson, A.K. Mok, A.P Sistla, and J. Srinivasan. Quantitative Temporal Reasoning. In Proceedings of CAV\u201990, volume 531 of Lecture Notes in Computer Science, pages 136\u2013145. Springer-Verlag, 1990."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"8_CR13","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994."},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","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":"8_CR15","unstructured":"M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing. Wiley, 1995."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"T. Murata. Petri Nets: Properties, Analysis and Application. In Proceedings of the IEEE, Vol. 77, No. 4. IEEE Computer Society, 1989.","DOI":"10.1109\/5.24143"},{"key":"8_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."},{"key":"8_CR18","unstructured":"K. M. van Hee, L. J. Somers, and M. Voorhoeve. Executeable Specifications for Distributed Information Systems. In Proceedings of IFIP TC8\/WG 8.1 Working Conference on Information Systsm Concepts, pages 139\u2013156. Elsevier Science Publishers, 1989."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T11:31:05Z","timestamp":1737545465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}