{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:21:58Z","timestamp":1778898118480,"version":"3.51.4"},"reference-count":23,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4586,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,5]]},"DOI":"10.1016\/s1571-0661(04)00225-7","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"209-226","source":"Crossref","is-referenced-by-count":5,"title":["Petri Nets with Discrete Phase Type Timing"],"prefix":"10.1016","volume":"52","author":[{"given":"Andrea","family":"Bobbio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","article-title":"The effect of execution policies on the semantics and analysis of stochastic Petri nets","volume":"15","author":"Ajmone Marsan","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB2","series-title":"Modelling with Generalized Stochastic Petri Nets","author":"Ajmone Marsan","year":"1995"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB3","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In Lecture Notes in Computer Science, volume 266, pages 132\u2013145. Springer Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_23"},{"issue":"3","key":"10.1016\/S1571-0661(04)00225-7_NEWBIB4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modelling and verification of time dependent systems using Time Petri Nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB5","unstructured":"A. Bobbio, A. Horv\u00e1th, M. Scarpa, and M. Telek. Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm. Technical Report of Budapest University of Technology and Economics - Submitted for publication, 2000."},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB6","series-title":"Petri Nets and Performance Models '95","first-page":"113","article-title":"Preemptive repeat identical transitions in Markov Regenerative Stochastic Petri Nets","author":"Bobbio","year":"1995"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB7","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/32.825765","article-title":"A modeling framework to implement combined preemption policies in MRSPNs","volume":"26","author":"Bobbio","year":"2000","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"10.1016\/S1571-0661(04)00225-7_NEWBIB8","first-page":"339","article-title":"Non-exponential stochastic Petri nets: an overview of methods and techniques","volume":"13","author":"Bobbio","year":"1998","journal-title":"Computer Systems: Science & Engineering"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB9","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","article-title":"Compositional validation of time-critical systems using communicating time Petri nets","volume":"21","author":"Bucci","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10.1016\/S1571-0661(04)00225-7_NEWBIB10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1287\/ijoc.12.3.203.12634","article-title":"Complexity of memoryefficient Kronecker operations with applications to the solution of Markov models","volume":"13","author":"Buchholz","year":"2000","journal-title":"INFORMS Journal on Computing"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB11","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","article-title":"Markov regenerative stochastic Petri nets","volume":"20","author":"Choi","year":"1994","journal-title":"Performance Evaluation"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB12","series-title":"Computations with Markov Chains","first-page":"339","article-title":"Discrete-time markovian stochastic petri nets","author":"Ciardo","year":"1995"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB13","doi-asserted-by":"crossref","unstructured":"G. Ciardo and A. Miner. A data structure for the efficient Kronecker solution of GSPNs. In Proc. 8th Int. Workshop on Petri Nets and Performance Models (PNPM'99), pages 22\u201331. IEEE CS Press, 1999.","DOI":"10.1109\/PNPM.1999.796529"},{"issue":"2","key":"10.1016\/S1571-0661(04)00225-7_NEWBIB14","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB15","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/32.67597","article-title":"A unified high level Petri net formalism for time-critical systems","volume":"17","author":"Ghezzi","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB16","doi-asserted-by":"crossref","unstructured":"A. Horv\u00e1th, A. Puliafito, M. Scarpa, and M. Telek. A discrete time approach to the analysis of non-Markovian stochastic Petri nets. In Tools 2000, volume 1786 of Lecture Notes in Computer Science, pages 171\u2013187, Schaumburg, IL, USA, March 2000. Springer-Verlag.","DOI":"10.1007\/3-540-46429-8_13"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB17","series-title":"Performance Modelling with Deterministic and Stochastic Petri Nets","author":"Lindemann","year":"1998"},{"issue":"9","key":"10.1016\/S1571-0661(04)00225-7_NEWBIB18","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of communication protocols","volume":"24","author":"Merlin","year":"1976","journal-title":"IEEE Transactions on Communication"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB19","unstructured":"M.K. Molloy. On the integration of delay and throughput measures in distributed processing models. Technical report, Phd Thesis, UCLA, 1981."},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB20","unstructured":"S. Natkin. Les reseaux de Petri stochastiques et leur application a l'evaluation des systemes informatiques. Technical report, These de Docteur Ingegneur, CNAM, Paris, 1980."},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB21","series-title":"International Computer Performance and Dependability Symposium - IPDS98","first-page":"52","article-title":"Kronecker representation of Stochastic Petri nets with discrete PH distributions","author":"Scarpa","year":"1998"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB22","doi-asserted-by":"crossref","DOI":"10.1109\/32.940727","article-title":"Static analysis and dynamic steering of time dependent systems","author":"Vicario","year":"2001","journal-title":"IEEE Transactions on Software Engineering (to be published)"},{"key":"10.1016\/S1571-0661(04)00225-7_NEWBIB23","unstructured":"R. Zijal, G. Ciardo, and G. Hommel. Discrete deterministic and stochastic petri nets. In Proc. Measurement, Modeling, and Valuation of Computer-and Communication-Systems (MMB), pages 103\u2013117, Freiberg, Germany, 1997. VDE-Verlag."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002257?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002257?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:27:28Z","timestamp":1585484848000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002257"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S1571066104002257"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00225-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}