{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:04:15Z","timestamp":1771700655411,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540568636","type":"print"},{"value":"9783540477594","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:41:50Z","timestamp":1330256510000},"page":"166-185","source":"Crossref","is-referenced-by-count":39,"title":["Transient analysis of deterministic and stochastic Petri nets"],"prefix":"10.1007","author":[{"given":"Hoon","family":"Choi","sequence":"first","affiliation":[]},{"given":"Vidyadhar G.","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","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":"2","key":"11_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone-Marsan","year":"1984","unstructured":"M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of generalized 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":"11_CR3","volume-title":"Introduction to Stochastic Processes","author":"E. \u00c7inlar","year":"1975","unstructured":"E. \u00c7inlar. Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs, U.S.A., 1975."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"P. F. Chimento and K. S. Trivedi. The completion time of programs on processors subject to failure and repair. IEEE Transactions on Computers, To appear.","DOI":"10.1109\/12.257705"},{"key":"11_CR5","unstructured":"H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov Regenerative Stochastic Petri Nets. Technical Report DUKE-CCSR-93-001, Center for Computer Systems Research, Duke University, 1993."},{"key":"11_CR6","unstructured":"H. Choi, V. Mainkar, and K. S. Trivedi. Sensitivity analysis of deterministic and stochastic Petri nets. In Proceedings of MASCOTS'93, the International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, San Diego, USA, Jan 1993."},{"key":"11_CR7","first-page":"507","volume-title":"Performance '84","author":"J. B. Dugan","year":"1985","unstructured":"J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola. Extended stochastic Petri nets: Applications and analysis. In E. Gelenbe, editor, Performance '84, pages 507\u2013519. Elsevier Science Publishers B. V. (North-Holland), Amsterdam, Netherlands, 1985."},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/BF00264310","volume":"23","author":"R. M. Geist","year":"1986","unstructured":"R. M. Geist, M. K. Smotherman, K. S. Trivedi, and J. B. Dugan. The reliability of life-critical systems. Acta Informatica, 23:621\u2013642, 1986.","journal-title":"Acta Informatica"},{"issue":"4","key":"11_CR9","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1080\/15326348908807125","volume":"5","author":"P. J. Haas","year":"1989","unstructured":"P. J. Haas and G. S. Shedler. Stochastic Petri nets with timed and immediate transitions. Communications in Statistics-Stochastic Models, 5(4):563\u2013600, 1989.","journal-title":"Communications in Statistics-Stochastic Models"},{"issue":"8","key":"11_CR10","doi-asserted-by":"crossref","first-page":"1995","DOI":"10.1002\/j.1538-7305.1982.tb03096.x","volume":"61","author":"D. L. Jagerman","year":"1982","unstructured":"D. L. Jagerman. An inversion technique for the Laplace Transforms. Bell System Technical Journal, 61(8):1995\u20132002, Sep. 1982.","journal-title":"Bell System Technical Journal"},{"key":"11_CR11","volume-title":"Lecture Notes on Stochastic Models in Operations Research","author":"V. G. Kulkarni","year":"1990","unstructured":"V. G. Kulkarni. Lecture Notes on Stochastic Models in Operations Research. University of North Carolina, Chapel Hill, U.S.A., 1990."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"C. Lindemann. An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models. In Proceedings of the 4th International Workshop on Petri Nets and Performance Models, pages 176\u2013185, Melbourne, Australia, Dec. 3\u20135 1991.","DOI":"10.1109\/PNPM.1991.238803"},{"key":"11_CR13","unstructured":"C. Lindemann and R. German. Analysis of stochastic Petri nets by the method of supplementary variables. Technical Report 1992-43, Technical University of Berlin, 1992."},{"issue":"9","key":"11_CR14","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M. K. Molloy","year":"1982","unstructured":"M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, C-31(9):913\u2013917, Sep. 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"J. K. Muppala and K. S. Trivedi. GSPN models: Sensitivity analysis and applications. In Proceedings of the 28th ACM Southeast Region Conference, pages 24\u201333, Apr. 1990.","DOI":"10.1145\/98949.98962"}],"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_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:17Z","timestamp":1605647177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}