{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:32:55Z","timestamp":1761964375246},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_61","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:42:50Z","timestamp":1330238570000},"page":"453-472","source":"Crossref","is-referenced-by-count":63,"title":["Interval timed coloured petri nets and their analysis"],"prefix":"10.1007","author":[{"given":"W. M. P.","family":"Aalst","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"26_CR1","volume-title":"Computing Science Notes 91\/09","author":"W.M.P. Aalst van der","year":"1991","unstructured":"W.M.P. van der Aalst, Interval Timed Petri Nets and their analysis. Computing Science Notes 91\/09, Eindhoven University of Technology, Eindhoven, 1991."},{"key":"26_CR2","unstructured":"-, Modelling and Analysis of Complex Logistic Systems, in Proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, the Netherlands, 1992, pp. 203\u2013218."},{"key":"26_CR3","volume-title":"PhD thesis","author":"W.M.P. Aalst van der","year":"1992","unstructured":"-, Timed coloured Petri nets and their application to logistics, PhD thesis, Eindhoven University of Technology, Eindhoven, 1992."},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/B978-0-444-88923-2.50014-8","volume-title":"Dynamic Modelling of Information Systems","author":"W.M.P. Aalst van der","year":"1991","unstructured":"W.M.P. van der Aalst and A.W. Waltmans, Modelling logistic systems with EXSPECT, in Dynamic Modelling of Information Systems, H.G. Sol and K.M. van Hee, eds., Elsevier Science Publishers, Amsterdam, 1991, pp. 269\u2013288."},{"key":"26_CR5","series-title":"vol. 424 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-52494-0_25","volume-title":"Advances in Petri Nets 1989","author":"C. Andre","year":"1990","unstructured":"C. Andre, Synchronized Elementary Net Systems, in Advances in Petri Nets 1989, G. Rozenberg, ed., vol. 424 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1990, pp. 51\u201376."},{"key":"26_CR6","unstructured":"ASPT, ExSpect 4.0 User Manual, Eindhoven University of Technology, 1993."},{"key":"26_CR7","doi-asserted-by":"crossref","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 (1991), pp. 259\u2013273.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, On wellformed coloured nets and their symbolic reachability graph, in Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, Paris, June 1990, pp. 387\u2013411.","DOI":"10.1007\/978-3-642-84524-6_13"},{"key":"26_CR9","series-title":"vol. 52 of Informatik Fachberichte","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/978-3-642-68353-4_45","volume-title":"Application and theory of Petri nets: selected papers from the first and the second European workshop","author":"G. Florin","year":"1982","unstructured":"G. Florin and S. Natkin, Evaluation based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol, in Application and theory of Petri nets: selected papers from the first and the second European workshop, C. Girault and W. Reisig, eds., vol. 52 of Informatik Fachberichte, Berlin, 1982, Springer-Verlag, New York, pp. 280\u2013288."},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach, System modelling with high level Petri nets, Theoretical Computer Science, 13 (1981), pp. 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"26_CR11","unstructured":"K.M. van Hee, System Engineering: a Formal Approach (to appear), 1993."},{"key":"26_CR12","first-page":"139","volume-title":"Proceedings of the IFIP TC 8 \/ WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis","author":"K.M. Hee van","year":"1989","unstructured":"K.M. van Hee, L.J. Somers, and M. Voorhoeve, Executable specifications for distributed information systems, in Proceedings of the IFIP TC 8 \/ WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, E.D. Falkenberg and P. Lindgreen, eds., Namur, Belgium, 1989, Elsevier Science Publishers, Amsterdam, pp. 139\u2013156."},{"key":"26_CR13","unstructured":"K.M. van Hee and P.A.C. Verkoulen, Integration of a Data Model and Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Aarhus, June 1991, pp. 410\u2013431."},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0304-3975(86)90046-0","volume":"45","author":"P. Hubner","year":"1986","unstructured":"P. Hubner, A.M. Jensen, L.O. Jepsen, and K. Jensen, Reachability trees for high level Petri nets, Theoretical Computer Science, 45 (1986), pp. 261\u2013292.","journal-title":"Theoretical Computer Science"},{"key":"26_CR15","series-title":"vol. 254 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties","author":"K. Jensen","year":"1987","unstructured":"K. Jensen, Coloured Petri Nets, in Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, W. Brauer, W. Reisig, and G. Rozenberg, eds., vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1987, pp. 248\u2013299."},{"key":"26_CR16","series-title":"vol. 483 of Lecture Notes in Computer Science","first-page":"342","volume-title":"Advances in Petri Nets 1990","author":"K. Jensen","year":"1990","unstructured":"-, Coloured Petri Nets: A High Level Language for System Design and Analysis, in Advances in Petri Nets 1990, G. Rozenberg, ed., vol. 483 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1990, pp. 342\u2013416."},{"key":"26_CR17","volume-title":"EATCS monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"-, Coloured Petri Nets. Basic concepts, analysis methods and practical use., to appear in EATCS monographs on Theoretical Computer Science, Springer-Verlag, New York, 1992."},{"key":"26_CR18","first-page":"80","volume-title":"On Petri Nets with Stochastic Timing","author":"M. A. Marsan","year":"1985","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, On Petri Nets with Stochastic Timing, in Proceedings of the International Workshop on Timed Petri Nets, Torino, 1985, IEEE Computer Society Press, pp. 80\u201387."},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. A. Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte, A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems, ACM Transactions on Computer Systems, 2 (1984), pp. 93\u2013122.","journal-title":"ACM Transactions on Computer Systems"},{"key":"26_CR20","volume-title":"PhD thesis","author":"P. Merlin","year":"1974","unstructured":"P. Merlin, A Study of the Recoverability of Computer Systems, PhD thesis, University of California, Irvine, California, 1974."},{"key":"26_CR21","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D.J. Faber, Recoverability of communication protocols, IEEE Transactions on Communication, 24 (1976), pp. 1036\u20131043.","journal-title":"IEEE Transactions on Communication"},{"key":"26_CR22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00365334","volume":"3","author":"S. Morasca","year":"1991","unstructured":"S. Morasca, M. Pezz\u00e8, and M. Trubian, Timed High-Level Nets, The Journal of Real-Time Systems, 3 (1991), pp. 165\u2013189.","journal-title":"The Journal of Real-Time Systems"},{"key":"26_CR23","volume-title":"Master's thesis","author":"M. Odijk","year":"1991","unstructured":"M. Odijk, ITPN analysis of ExSpect specifications with respect to production logistics, Master's thesis, Eindhoven University of Technology, Eindhoven, 1991."},{"key":"26_CR24","volume-title":"PhD thesis","author":"C. Ramchandani","year":"1973","unstructured":"C. Ramchandani, Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets, PhD thesis, Massachusetts Institute of Technology, Cambridge, 1973."},{"key":"26_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig, Petri nets: an introduction, Prentice-Hall, Englewood Cliffs, 1985."},{"key":"26_CR26","first-page":"75","volume-title":"Proceedings of the Third International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems (Bonn-Bad Godesberg, 1977)","author":"J. Sifakis","year":"1977","unstructured":"J. Sifakis, Use of Petri Nets for performance evaluation, in Proceedings of the Third International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems (Bonn-Bad Godesberg, 1977), H. Beilner and E. Gelenbe, eds., Elsevier Science Publishers, Amsterdam, 1977, pp. 75\u201393."},{"key":"26_CR27","unstructured":"A. Valmari, Stubborn sets for reduced state space generation, in Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, Bonn, June 1989."},{"key":"26_CR28","doi-asserted-by":"crossref","unstructured":"W.M. Zuberek, Timed Petri Nets and Preliminary Performance Evaluation, in Proceedings of the 7th annual Symposium on Computer Architecture, vol. 8(3) of Quarterly Publication of ACM Special Interest Group on Computer Architecture, 1980, pp. 62\u201382.","DOI":"10.1145\/800053.801913"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:22Z","timestamp":1605629182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}