{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T00:37:37Z","timestamp":1768696657205,"version":"3.49.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,2,5]],"date-time":"2009-02-05T00:00:00Z","timestamp":1233792000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10626-009-0060-0","type":"journal-article","created":{"date-parts":[[2009,2,4]],"date-time":"2009-02-04T12:58:29Z","timestamp":1233752309000},"page":"137-165","source":"Crossref","is-referenced-by-count":37,"title":["State Observer for DES Under Partial Observation with Time Petri Nets"],"prefix":"10.1007","volume":"19","author":[{"given":"Mohamed","family":"Ghazel","sequence":"first","affiliation":[]},{"given":"Armand","family":"Toguy\u00e9ni","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Yim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,2,5]]},"reference":[{"key":"60_CR1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using Petri nets. IEEE Trans Software Eng 17:259\u2013273","journal-title":"IEEE Trans Software Eng"},{"key":"60_CR2","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu B, Ribet PO, Vernadat F (2004) The tool TINA\u2013construction of abstract state spaces for petri nets and time petri nets. Int J Prod Res 42:2741\u20132756","journal-title":"Int J Prod Res"},{"key":"60_CR3","unstructured":"Boel RK, Jiroveanu G (2004) Distributed contextual diagnosis for very large systems. In 17th workshop on discrete event systems (WODES\u201904). Reims, France"},{"key":"60_CR4","doi-asserted-by":"crossref","unstructured":"Chatain T, Jard C (2005) Time supervision of concurrent systems using symbolic unfolding of time Petri nets. In: International conference on formal modeling and analysis of time systems. Uppsala, Sweden","DOI":"10.1007\/11603009_16"},{"key":"60_CR5","unstructured":"Diaz M (2001) Les r\u00e9seaux de Petri, mod\u00e8les fondamentaux, Herm\u00e8s"},{"key":"60_CR6","doi-asserted-by":"crossref","first-page":"143","DOI":"10.3166\/jesa.39.143-158","volume":"39","author":"M Ghazel","year":"2005","unstructured":"Ghazel M, Bigand M, Toguy\u00e9ni AKA (2005) Exploitation des contraintes temporelles pour le suivi temps-r\u00e9el des SEDs. Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s (JESA) 39:143\u2013158","journal-title":"Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s (JESA)"},{"key":"60_CR7","first-page":"234","volume-title":"Internation journal of computer integrated manufacturing (IJCIM), vol 19","author":"M Ghazel","year":"2006","unstructured":"Ghazel M, Toguy\u00e9ni A, Bigand M (2006) A semi-formal approach to build the functional graph of an automated production system for supervision purposes. In: Internation journal of computer integrated manufacturing (IJCIM), vol 19. Taylor & Francis, London, pp 234\u2013247"},{"key":"60_CR8","unstructured":"Lafortune S, Sampath M (2000) Discrete event systems approach to failure diagnosis: theory and applications. In: 11th international workshop on principles of diagnosis"},{"key":"60_CR9","unstructured":"Merlin P (1974) A study of the recoverability of computer system. PhD thesis, University of California"},{"key":"60_CR10","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/9.855548","volume":"45","author":"DN Pandalai","year":"2000","unstructured":"Pandalai DN, Holloway LE (2000) Template languages for fault monitoring of discrete event processes. IEEE Trans Automat Contr 45:868\u2013882, May","journal-title":"IEEE Trans Automat Contr"},{"key":"60_CR11","unstructured":"Pradin B, Valette R (2001) Accessibilit\u00e9 de marquage et logique lin\u00e9aire dans un r\u00e9seau de Petri t-temporel, Journ\u2019ees Formalisation des Activit\u00e9s Concurrentes, FAC\u20192000, CERT-IRIT-LAAS, Toulouse 18\u201319 mai , pp 123\u2013134"},{"key":"60_CR12","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"R Sampath","year":"1996","unstructured":"Sampath R, Sinnamohideen K, Lafortune S, Teneketzis D (1996) Failure diagnosis using discrete event models. IEEE Trans Control Syst Technol 4:105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"key":"60_CR13","unstructured":"Toguy\u00e9ni A, Craye E, Gentina JC (1997) Time and reasoning for on-line diagnosis of failures in flexible manufacturing systems. In: Proceedings of the 15th IMACS world congress on scientific computation, modeling, and applied mathematics, vol. 6. Berlin, Germany, pp 709\u2013714"},{"key":"60_CR14","volume-title":"Formal techniques in real time and fault tolerant systems, LNCS2469","author":"S Tripakis","year":"2002","unstructured":"Tripakis S (2002) Fault diagnosis for timed automata. In: Formal techniques in real time and fault tolerant systems, LNCS2469, Springer, New York"},{"key":"60_CR15","doi-asserted-by":"crossref","unstructured":"Ushio T, Onishi I, Okuda K (1998) Fault detection based on Petri net models with faulty behaviors. In: Proceeding of IEEE international conference on systems, man, and cybernetics, pp 113\u2013118","DOI":"10.1109\/ICSMC.1998.725394"},{"key":"60_CR16","first-page":"1756","volume-title":"38th conference on decision & control","author":"SH Zad","year":"1999","unstructured":"Zad SH, Kwong RH, Wonham WM (1999) Fault diagnosis in timed discrete-event systems. In: 38th conference on decision & control. Phoenix, Arizona, USA, pp. 1756\u20131761"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0060-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0060-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0060-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:52Z","timestamp":1559231932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0060-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,5]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["60"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0060-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,5]]}}}