{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T06:36:59Z","timestamp":1648535819099},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s13198-011-0061-x","type":"journal-article","created":{"date-parts":[[2011,8,26]],"date-time":"2011-08-26T15:36:56Z","timestamp":1314373016000},"page":"183-192","source":"Crossref","is-referenced-by-count":2,"title":["Use of petrinets for solution of a stern gland optimal inspection interval problem"],"prefix":"10.1007","volume":"2","author":[{"given":"Anil","family":"Rana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajit","family":"Verma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Srividya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,27]]},"reference":[{"key":"61_CR1","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan M, Conte G, Balbo G (1984) A class of generalised petri nets for the performance evaluation of multiprocessor systems. ACM Trans Comput Syst 2:93\u2013122","journal-title":"ACM Trans Comput Syst"},{"key":"61_CR2","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/TCS.1987.1086189","volume":"34","author":"HH Ammar","year":"1987","unstructured":"Ammar HH, Huang YF, Liu RW (1987) Hierarchical models for systems reliability, maintainability and availability. IEEE Trans Circuit Syst 34:629\u2013638","journal-title":"IEEE Trans Circuit Syst"},{"key":"61_CR3","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J Billington","year":"1988","unstructured":"Billington J, Wheeler GR, Wilbur-Ham MC (1988) PROTEAN: a high level petri net tool for the specification and verification of communication protocols. IEEE Trans Softw Eng 14:301\u2013331","journal-title":"IEEE Trans Softw Eng"},{"key":"61_CR4","doi-asserted-by":"crossref","unstructured":"Chaillet A, Combacau M, Courvoisier M (1993) Specification of FMS real time control based on petri nets with objects and process failure monitoring. In: Proceedings of the IECON-93, vol 1. Hawaii, pp 144\u2013149","DOI":"10.1109\/IECON.1993.339091"},{"key":"61_CR5","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi H, Kulkarni V, Trivedi K (1994) Markov regenerative stochastic Petri nets. Perform Evaluation 20:337\u2013356","journal-title":"Perform Evaluation"},{"key":"61_CR6","volume-title":"The theory of stochastic processes","author":"DR Cox","year":"1970","unstructured":"Cox DR, Muller HD (1970) The theory of stochastic processes. William Clowes Ltd, London"},{"key":"61_CR7","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1109\/32.16599","volume":"15","author":"PJ Hass","year":"1989","unstructured":"Hass PJ, Shedler GS (1989) Stochastic petri net representation of discrete event simulation. IEEE Trans Softw Eng 15:381\u2013393","journal-title":"IEEE Trans Softw Eng"},{"key":"61_CR8","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1109\/TSE.1987.233141","volume":"SE-13","author":"MA Holiday","year":"1987","unstructured":"Holiday MA, Venon Mary K (1987) A generalised time Petri net model for performance analysis. IEEE Trans Softw Eng SE-13:1297\u20131310","journal-title":"IEEE Trans Softw Eng"},{"issue":"8","key":"61_CR9","doi-asserted-by":"crossref","first-page":"1995","DOI":"10.1002\/j.1538-7305.1982.tb03096.x","volume":"61","author":"DL Jagerman","year":"1982","unstructured":"Jagerman DL (1982) An inversion technique for the Laplace transform. Bell Syst Tech J 61(8):1995\u20132002","journal-title":"Bell Syst Tech J"},{"key":"61_CR10","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"NG Leveson","year":"1987","unstructured":"Leveson NG, Stolzy JL (1987) Safety analysis using Petri nets. IEEE Trans Softw Eng 13:386\u2013397","journal-title":"IEEE Trans Softw Eng"},{"issue":"9","key":"61_CR11","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"c-31","author":"MK Molloy","year":"1982","unstructured":"Molloy MK (1982) Performance analysis using stochastic petri nets. IEEE Trans Comput c-31(9):913\u2013917","journal-title":"IEEE Trans Comput"},{"key":"61_CR12","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"6","author":"CV Ramamoorthy","year":"1980","unstructured":"Ramamoorthy CV, Ho GS (1980) Performance evaluation of asynchronous concurrent systems using petri nets. IEEE Trans Softw Eng 6:440\u2013449","journal-title":"IEEE Trans Softw Eng"},{"key":"61_CR13","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1109\/21.247896","volume":"23","author":"VS Srinivasan","year":"1993","unstructured":"Srinivasan VS, Jafari MA (1993) Fault detection\/monitoring using timed petri nets. IEEE Trans Syst Man Cybern 23:1155\u20131162","journal-title":"IEEE Trans Syst Man Cybern"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0061-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-011-0061-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0061-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T13:21:43Z","timestamp":1560518503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-011-0061-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["61"],"URL":"https:\/\/doi.org\/10.1007\/s13198-011-0061-x","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}