{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:43Z","timestamp":1725664183501},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580218"},{"type":"electronic","value":"9783540484165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58021-2_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:06:50Z","timestamp":1330268810000},"page":"425-444","source":"Crossref","is-referenced-by-count":2,"title":["Using Interval Timed Coloured Petri Nets to calculate performance bounds"],"prefix":"10.1007","author":[{"given":"W. M. P.","family":"Aalst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"24_CR1","first-page":"277","volume-title":"Integration in Production Management Systems, volume B-7 of IFIP Transactions","author":"W. M. P. P. Aalst van der","year":"1992","unstructured":"W.M.P. van der Aalst. Modelling and Analysis of Complex Logistic Systems. In H.J. Pels and J.C. Wortmann, editors, Integration in Production Management Systems, volume B-7 of IFIP Transactions, pages 277\u2013292. Elsevier Science Publishers, Amsterdam, 1992."},{"key":"24_CR2","volume-title":"PhD thesis","author":"W. M. P. P. Aalst van der","year":"1992","unstructured":"W.M.P. van der Aalst. Timed coloured Petri nets and their application to logistics. PhD thesis, Eindhoven University of Technology, Eindhoven, 1992."},{"key":"24_CR3","series-title":"volume 691 of Lecture Notes in Computer Science","first-page":"453","volume-title":"Application and Theory of Petri Nets 1993","author":"W. M. P. P. Aalst van der","year":"1993","unstructured":"W.M.P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453\u2013472. Springer-Verlag, New York, 1993."},{"key":"24_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. P. Aalst van der","year":"1991","unstructured":"W.M.P. van der Aalst and A.W. Waltmans. Modelling logistic systems with EXSPECT. In H.G. Sol and K.M. van Hee, editors, Dynamic Modelling of Information Systems, pages 269\u2013288. Elsevier Science Publishers, Amsterdam, 1991."},{"key":"24_CR5","unstructured":"ASPT. ExSpect 4.0 User Manual. Eindhoven University of Technology, 1993."},{"issue":"3","key":"24_CR6","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(3):259\u2013273, March 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR7","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, volume 52 of Informatik Fachberichte","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 C. Girault and W. Reisig, editors, Application and theory of Petri nets: selected papers from the first and the second European workshop, volume 52 of Informatik Fachberichte, pages 280\u2013288, Berlin, 1982. Springer-Verlag, New York."},{"key":"24_CR8","unstructured":"K.M. van Hee. Information System Engineering: a Formal Approach. Cambridge University Press, (to appear) 1994."},{"key":"24_CR9","first-page":"139","volume-title":"Executable specifications for distributed information systems","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 E.D. Falkenberg and P. Lindgreen, editors, Proceedings of the IFIP TC 8 \/ WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, pages 139\u2013156, Namur, Belgium, 1989. Elsevier Science Publishers, Amsterdam."},{"key":"24_CR10","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:261\u2013292, 1986.","journal-title":"Theoretical Computer Science"},{"key":"24_CR11","first-page":"248","volume-title":"Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, volume 254 of Lecture Notes in Computer Science","author":"K. Jensen","year":"1987","unstructured":"K. Jensen. Coloured Petri Nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, volume 254 of Lecture Notes in Computer Science, pages 248\u2013299. Springer-Verlag, New York, 1987."},{"key":"24_CR12","series-title":"volume 483 of Lecture Notes in Computer Science","first-page":"342","volume-title":"Advances in Petri Nets 1990","author":"K. Jensen","year":"1990","unstructured":"K. Jensen. Coloured Petri Nets: A High Level Language for System Design and Analysis. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 342\u2013416. Springer-Verlag, New York, 1990."},{"key":"24_CR13","volume-title":"EATCS monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"K. Jensen. Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer-Verlag, New York, 1992."},{"volume-title":"High-level Petri Nets: Theory and Application","year":"1991","key":"24_CR14","unstructured":"K. Jensen and G. Rozenberg, editors. High-level Petri Nets: Theory and Application. Springer-Verlag, New York, 1991."},{"key":"24_CR15","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, pages 80\u201387, Torino, 1985. IEEE Computer Society Press."},{"issue":"2","key":"24_CR16","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(2):93\u2013122, May 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"24_CR17","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":"24_CR18","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:165\u2013189, 1991.","journal-title":"The Journal of Real-Time Systems"},{"key":"24_CR19","volume-title":"Master's thesis","author":"M. A. Odijk","year":"1991","unstructured":"M.A. Odijk. ITPN analysis of ExSpect specifications with respect to production logistics. Master's thesis, Eindhoven University of Technology, Eindhoven, 1991."},{"key":"24_CR20","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":"24_CR21","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":"24_CR22","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."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58021-2_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:10:16Z","timestamp":1619572216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}