{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T16:17:06Z","timestamp":1777652226708,"version":"3.51.4"},"reference-count":21,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Performance Evaluation"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1016\/0166-5316(94)90021-3","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T02:10:42Z","timestamp":1060308642000},"page":"337-357","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":190,"title":["Markov regenerative stochastic Petri nets"],"prefix":"10.1016","volume":"20","author":[{"given":"Hoon","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vidyadhar G.","family":"Kulkarni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"7","key":"10.1016\/0166-5316(94)90021-3_BIB1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","article-title":"The effect of execution polices on the semantics and analysis of stochastic Petri nets","volume":"SE-15","author":"Ajmone-Marsan","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0166-5316(94)90021-3_BIB2","first-page":"132","article-title":"On Petri nets with deterministic and exponentially distributed firing times","volume":"vol. 266","author":"Ajmone-Marsan","year":"1987"},{"issue":"2","key":"10.1016\/0166-5316(94)90021-3_BIB3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","article-title":"A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems","volume":"2","author":"Ajmone-Marsan","year":"1984","journal-title":"ACM Transactions on Computer Systems"},{"key":"10.1016\/0166-5316(94)90021-3_BIB4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An introduction of Estelle: A specification language for distributed systems","volume":"14","author":"Budkowski","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/0166-5316(94)90021-3_BIB5","series-title":"Introduction to Stochastic Processes","author":"\u00c7inlar","year":"1975"},{"issue":"9","key":"10.1016\/0166-5316(94)90021-3_BIB6","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1109\/12.257705","article-title":"The completion time of programs on processors subject to failure and repair","volume":"C-42","author":"Chimento","year":"1993","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/0166-5316(94)90021-3_BIB7","article-title":"Markov regenerative stochastic Petri nets","author":"Choi","year":"1993"},{"key":"10.1016\/0166-5316(94)90021-3_BIB8","series-title":"Proceedings of The 14th International Conference on Application and Theory of Petri Nets","article-title":"Transient analysis of deterministic and stochastic Petri nets","author":"Choi","year":"1993"},{"key":"10.1016\/0166-5316(94)90021-3_BIB9","series-title":"Proc. of MASCOTS '93, the Int'l Workshop on Modeling, Analysis and Simulation of Computer and Telecomm. Systems","first-page":"271","article-title":"Sensitivity analysis of deterministic and stochastic Petri nets","author":"Choi","year":"1993"},{"key":"10.1016\/0166-5316(94)90021-3_BIB10","article-title":"Performance and reliability modeling using Markov regenerative stochastic Petri nets","author":"Choi","year":"1993"},{"key":"10.1016\/0166-5316(94)90021-3_BIB11","series-title":"Proc. of the 4th Int'l Workshop on Petri Nets and Performance Models","first-page":"290","article-title":"Performability modeling with UltraSAN","author":"Couvillon","year":"1991"},{"key":"10.1016\/0166-5316(94)90021-3_BIB12","series-title":"Performance '84","first-page":"507","article-title":"Extended stochastic Petri nets: Applications and analysis","author":"Dugan","year":"1985"},{"key":"10.1016\/0166-5316(94)90021-3_BIB13","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/BF00264310","article-title":"The reliability of life-critical systems","volume":"23","author":"Geist","year":"1986","journal-title":"Acta Informatica"},{"key":"10.1016\/0166-5316(94)90021-3_BIB14","series-title":"Stochastic Models","first-page":"199","article-title":"Computational methods in probability theory","author":"Grassmann","year":"1990"},{"issue":"4","key":"10.1016\/0166-5316(94)90021-3_BIB15","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1080\/15326348908807125","article-title":"Stochastic Petri nets with timed and immediate transitions","volume":"5","author":"Haas","year":"1989","journal-title":"Communications in Statistics \u2014 Stochastic Models"},{"issue":"8","key":"10.1016\/0166-5316(94)90021-3_BIB16","doi-asserted-by":"crossref","first-page":"1995","DOI":"10.1002\/j.1538-7305.1982.tb03096.x","article-title":"An inversion technique for the Laplace Transforms","volume":"61","author":"Jagerman","year":"1982","journal-title":"Bell System Technical Journal"},{"key":"10.1016\/0166-5316(94)90021-3_BIB17","series-title":"Lecture notes on stochastic models in operations research","author":"Kulkarni","year":"1990"},{"key":"10.1016\/0166-5316(94)90021-3_BIB18","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0166-5316(93)90028-S","article-title":"An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models","volume":"18","author":"Lindemann","year":"1993","journal-title":"Performance Evaluation"},{"issue":"4","key":"10.1016\/0166-5316(94)90021-3_BIB19","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1080\/15326349308807278","article-title":"Selecting and implementing phase approximations for semi-Markov models","volume":"9","author":"Malhotra","year":"1993","journal-title":"Communications in Statistics \u2014 Stochastic Models"},{"issue":"9","key":"10.1016\/0166-5316(94)90021-3_BIB20","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","article-title":"Performance analysis using stochastic Petri nets","volume":"C-31","author":"Molloy","year":"1982","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/0166-5316(94)90021-3_BIB21","series-title":"Proceedings of the 28th ACM Southeast Region Conference","first-page":"24","article-title":"GSPN models: Sensitivity analysis and applications","author":"Muppala","year":"1990"}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0166531694900213?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0166531694900213?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:56:47Z","timestamp":1757451407000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0166531694900213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":21,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["0166531694900213"],"URL":"https:\/\/doi.org\/10.1016\/0166-5316(94)90021-3","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[1994,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Markov regenerative stochastic Petri nets","name":"articletitle","label":"Article Title"},{"value":"Performance Evaluation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0166-5316(94)90021-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1994 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}