{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T04:22:59Z","timestamp":1778646179964,"version":"3.51.4"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,8,3]],"date-time":"2017-08-03T00:00:00Z","timestamp":1501718400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10626-017-0252-y","type":"journal-article","created":{"date-parts":[[2017,8,3]],"date-time":"2017-08-03T09:33:30Z","timestamp":1501752810000},"page":"247-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Faults prognosis using partially observed stochastic Petri-nets: an incremental approach"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5939-3027","authenticated-orcid":false,"given":"Rabah","family":"Ammour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edouard","family":"Leclercq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Sanlaville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitri","family":"Lefebvre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,3]]},"reference":[{"issue":"4","key":"252_CR1","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1109\/24.693785","volume":"46","author":"SV Amari","year":"1997","unstructured":"Amari SV, Misra RB (1997) Closed-form expressions for distribution of sum of exponential random variables. IEEE Trans Reliab 46(4):519\u2013522","journal-title":"IEEE Trans Reliab"},{"key":"252_CR2","doi-asserted-by":"crossref","unstructured":"Ammour R, Leclercq E, Sanlaville E, Lefebvre D (2016) Faults prognosis using partially observed stochastic Petri nets. In: 13th international workshop on discrete event systems (WODES), Xi\u2019an, China, pp 472\u2013477","DOI":"10.1109\/WODES.2016.7497890"},{"issue":"1","key":"252_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1142\/S0218126698000067","volume":"8","author":"A Bobbio","year":"1998","unstructured":"Bobbio A, Puliafito A, Telek M, Trivedi K (1998) Recent developments in Stochastic Petri Nets. J Circ Syst Comput 8(1):119\u2013158","journal-title":"J Circ Syst Comput"},{"key":"252_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras C, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York","edition":"2nd edn."},{"key":"252_CR5","doi-asserted-by":"crossref","unstructured":"Cassez F, Grastien A (2013) Predictability of event occurrences in timed systems. In: Formal modeling and analysis of timed systems, pp 62\u201376","DOI":"10.1007\/978-3-642-40229-6_5"},{"key":"252_CR6","unstructured":"Diaz M (2013) Petri nets: fundamental models, verification and applications. Wiley"},{"issue":"6","key":"252_CR7","doi-asserted-by":"crossref","first-page":"1570","DOI":"10.1109\/TAC.2014.2381437","volume":"60","author":"J Chen","year":"2015","unstructured":"Chen J, Kumar R (2015) Stochastic failure prognosability of discrete event systems. IEEE Trans Auto Control 60(6):1570\u20131581","journal-title":"IEEE Trans Auto Control"},{"key":"252_CR8","doi-asserted-by":"crossref","unstructured":"Finkel A (1993) The minimal coverability graph for Petri nets. In: Advances in Petri Nets, pp 210\u2013243","DOI":"10.1007\/3-540-56689-9_45"},{"issue":"2","key":"252_CR9","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.automatica.2008.06.022","volume":"45","author":"S Genc","year":"2009","unstructured":"Genc S, Lafortune S (2009) Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2):301\u2013311","journal-title":"Automatica"},{"key":"252_CR10","doi-asserted-by":"crossref","unstructured":"Haddad S, Moreaux P (2009) Stochastic Petri nets, Chapter 9. In: Petri Nets: fundamental models and applications. Wiley","DOI":"10.1002\/9780470611647.ch9"},{"key":"252_CR11","doi-asserted-by":"crossref","unstructured":"J\u00e9ron T, Marchand H, Genc S, Lafortune S (2008) Predictability of sequence patterns in discrete event systems. In: Proceedings of the 17th IFAC World congress. Seoul, Korea, pp 537\u2013543","DOI":"10.3182\/20080706-5-KR-1001.00091"},{"issue":"2","key":"252_CR12","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1109\/TASE.2012.2189563","volume":"9","author":"A Khoumsi","year":"2012","unstructured":"Khoumsi A, Chakib H (2012) Conjunctive and disjunctive architectures for decentralized prognosis of failures in discrete-event systems. IEEE Trans Autom Sci Eng 9(2):412\u2013417","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"1","key":"252_CR13","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TAC.2009.2034216","volume":"55","author":"R Kumar","year":"2010","unstructured":"Kumar R, Takai S (2010) Decentralized prognosis of failures in discrete event systems. IEEE Trans Autom Control 55(1):48\u201359","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"252_CR14","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1177\/1350650113511960","volume":"228","author":"D Lefebvre","year":"2014","unstructured":"Lefebvre D (2014) Fault diagnosis and prognosis with partially observed stochastic Petri nets. Proc IMechE Part O: J Risk Reliab 228(4):382\u2013396","journal-title":"Proc IMechE Part O: J Risk Reliab"},{"key":"252_CR15","unstructured":"Marsan MA, Balbo CG, Donatelli S, Franceschinis G (1994) Modelling with generalized stochastic Petri Nets. Wiley series in parallel computing. Wiley"},{"key":"252_CR16","doi-asserted-by":"crossref","unstructured":"Miner AS, Ciardo G (1999) Efficient reachability set generation and storage using decision diagrams. In: International conference on application and theory of Petri Nets. Springer, Berlin Heidelberg , pp 6\u201325","DOI":"10.1007\/3-540-48745-X_2"},{"issue":"9","key":"252_CR17","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"100","author":"M Molloy","year":"1982","unstructured":"Molloy M (1982) Performance analysis using stochastic Petri nets. IEEE Trans Comput 100(9):913\u2013917","journal-title":"IEEE Trans Comput"},{"key":"252_CR18","unstructured":"Nouioua F, Dague P, Ye L (2014) Probabilistic analysis of predictability in discrete event systems. In: 25th international workshop on principles of diagnosis (DX\u201914), Paris, France"},{"issue":"11","key":"252_CR19","doi-asserted-by":"crossref","first-page":"1630","DOI":"10.1109\/9.728885","volume":"43","author":"H Prosser","year":"1998","unstructured":"Prosser H, Kam M, Kwatny HG (1998) Online supervisor synthesis for partially observed discrete-event systems. IEEE Trans Autom Control 43(11):1630\u20131634","journal-title":"IEEE Trans Autom Control"},{"key":"252_CR20","volume-title":"Introduction to probability models","author":"SM Ross","year":"2010","unstructured":"Ross SM (2010) Introduction to probability models, 10th edn. Academic Press, Elsevier","edition":"10th edn."},{"issue":"4","key":"252_CR21","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/s10626-009-0074-7","volume":"19","author":"Y Ru","year":"2009","unstructured":"Ru Y, Hadjiscotis CN (2009) Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Discre Event Dyn Syst 19(4):551\u2013575","journal-title":"Discre Event Dyn Syst"},{"issue":"9","key":"252_CR22","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M et al (1995) Diagnosability of discrete-event systems. IEEE Trans Autmatic Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autmatic Control"},{"key":"252_CR23","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.automatica.2014.10.104","volume":"51","author":"S Takai","year":"2015","unstructured":"Takai S (2015) Robust prognosability for a set of partially observed discrete event systems. Automatica 51:123\u2013130","journal-title":"Automatica"},{"key":"252_CR24","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/j.automatica.2016.03.015","volume":"69","author":"X Yin","year":"2016","unstructured":"Yin X, Li Z (2016) Decentralized fault prognosis of discrete event systems with guaranteed performance bound. Automatica 69:375\u2013379","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0252-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0252-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0252-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T20:27:51Z","timestamp":1569961671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0252-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["252"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0252-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,3]]}}}