{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:24Z","timestamp":1762521684164},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T00:00:00Z","timestamp":1402358400000},"content-version":"tdm","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":[[2015,9]]},"DOI":"10.1007\/s10626-014-0190-x","type":"journal-article","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T15:25:04Z","timestamp":1402413904000},"page":"419-440","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["Fault model identification and synthesis in Petri nets"],"prefix":"10.1007","volume":"25","author":[{"given":"Maria Paola","family":"Cabasino","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Christoforos N.","family":"Hadjicostis","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,10]]},"reference":[{"key":"190_CR1","doi-asserted-by":"crossref","unstructured":"Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In: Lecture notes in computer science, vol 915. pp 647\u2013679","DOI":"10.1007\/3-540-59293-8_207"},{"key":"190_CR2","doi-asserted-by":"crossref","unstructured":"Badouel E, Darondeau P (1998) Theory of regions. In: Lecture notes in computer science, vol 1491. pp 529\u2013586","DOI":"10.1007\/3-540-65306-6_22"},{"key":"190_CR3","doi-asserted-by":"crossref","unstructured":"Basile F, Chiacchio P, Coppola J, De Tommasi G (2011). Identification of Petri nets using timing information. In: 3rd international workshop on dependable control of discrete systems. Saarbr\u00fccken, Germany","DOI":"10.1109\/DCDS.2011.5970334"},{"issue":"3","key":"190_CR4","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics and constraints. Automatica 35(3):407\u2013429","journal-title":"Automatica"},{"key":"190_CR5","doi-asserted-by":"crossref","unstructured":"Bergenthum R, Desel J, Lorenz R, Mauser S (2008). Synthesis of Petri nets from infinite partial languages. In: Proceedings 8th international conference on application of concurrency to system design. Xi\u2019an","DOI":"10.1109\/ACSD.2008.4574609"},{"key":"190_CR6","doi-asserted-by":"crossref","unstructured":"Cabasino MP, Darondeau P, Fanti MP, Seatzu C (2014) Model identification and synthesis of discrete-event systems. Contemporary issues in system science and engineering. IEEE\/Wiley Press Book Series","DOI":"10.1002\/9781119036821.ch10"},{"key":"190_CR7","doi-asserted-by":"crossref","unstructured":"Cabasino MP, Giua A, Hadjicostis CN, Seatzu C (2008). Fault model identification with Petri nets. In: Proceedings 9th IFAC work. on discrete event systems. Gotheborg","DOI":"10.1109\/WODES.2008.4605989"},{"issue":"4","key":"190_CR8","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10626-007-0025-0","volume":"17","author":"MP Cabasino","year":"2007","unstructured":"Cabasino MP, Giua A, Seatzu C (2007) Identification of Petri nets from knowledge of their language. Discret. Events Dyn Syst 17(4):447\u2013474","journal-title":"Discret. Events Dyn Syst"},{"key":"190_CR9","doi-asserted-by":"crossref","unstructured":"Carmona J, Cortadella J, Kishinevsky A, Lavagno L, Kondratyev A, Yakovlev A (2008) A symbolic algorithm for the synthesis of bounded Petri nets. In: Proceedings international conference on application and theory of Petri nets and other models of concurrency. Xian","DOI":"10.1007\/978-3-540-68746-7_10"},{"issue":"9","key":"190_CR10","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","volume":"52","author":"D Corona","year":"2007","unstructured":"Corona D, Giua A, Seatzu C (2007) Marking estimation of Petri nets with silent transitions. IEEE Trans Autom Control 52(9):1695\u20131699","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"190_CR11","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J Cortadella","year":"1998","unstructured":"Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A (1998) Deriving Petri nets from finite transition systems. IEEE Trans Comput 47(8):859\u2013882","journal-title":"IEEE Trans Comput"},{"issue":"5","key":"190_CR12","doi-asserted-by":"crossref","first-page":"1209","DOI":"10.1016\/j.automatica.2007.10.014","volume":"44","author":"M Dotoli","year":"2008","unstructured":"Dotoli M, Fanti MP, Mangini AM (2008) Real time identification of discrete event systems using Petri nets. Automatica 44(5):1209\u20131219","journal-title":"Automatica"},{"key":"190_CR13","doi-asserted-by":"crossref","unstructured":"Dotoli M, Fanti MP, Mangini AM, Ukovich W (2009) Identification of DES unobservable behaviour by Petri nets. In: Proceedings 2nd IFAC workshop on dependable control of discrete systems. Bari","DOI":"10.3182\/20090610-3-IT-4004.00022"},{"issue":"4","key":"190_CR14","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht A, Rozenberg G (1989) Partial (Set) 2-Structures - Part 1 and Part 2. Acta Informatica 27(4):315\u2013368","journal-title":"Acta Informatica"},{"key":"190_CR15","doi-asserted-by":"crossref","unstructured":"Lorenz R, Juh\u00e1s G, Mauser S (2007) How to synthesize nets from languages \u2013 a survey. In: Proceedings 2007 winter simulation conference. Washington","DOI":"10.1109\/WSC.2007.4419657"},{"key":"190_CR16","doi-asserted-by":"crossref","unstructured":"Lorenz R, Juh\u00e1s G (2006) Towards synthesis of Petri nets from scenarios. In: Lecture notes in computer science, vol 4024. pp 302\u2013321","DOI":"10.1007\/11767589_17"},{"key":"190_CR17","doi-asserted-by":"crossref","unstructured":"Meda-Campa\u00f1a ME, L\u00f3pez-Mellado E (2002) Incremental synthesis of Petri net models for identification of discrete event systems. In Proceedings 41th IEEE conference on decision and control. Las Vegas","DOI":"10.1109\/CDC.2002.1184604"},{"key":"190_CR18","doi-asserted-by":"crossref","unstructured":"Meda-Campa\u00f1a ME, L\u00f3pez-Mellado E (2003). Required event sequences for identification of discrete event systems. In: Proceedings 42th IEEE conference on decision and control. Maui, pp 3778\u20133783","DOI":"10.1109\/CDC.2003.1271737"},{"issue":"4","key":"190_CR19","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0190-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0190-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0190-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T07:41:58Z","timestamp":1565509318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0190-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,10]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["190"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0190-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,10]]}}}