{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:16Z","timestamp":1760828836427,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/coase.2008.4626493","type":"proceedings-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T17:55:06Z","timestamp":1222278906000},"page":"181-186","source":"Crossref","is-referenced-by-count":5,"title":["Fault monitoring of automated manufacturing systems by first order hybrid Petri nets"],"prefix":"10.1109","author":[{"given":"Mariagrazia","family":"Dotoli","sequence":"first","affiliation":[]},{"given":"Maria Pia","family":"Fanti","sequence":"additional","affiliation":[]},{"given":"Agostino M.","family":"Mangini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"17"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/9.701089"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/TASE.2006.872120"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/CDC.2005.1583175"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/87.486338"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/21.247896"},{"key":"12","article-title":"a monitoring approach for discrete events systems based on a timed petri net model","author":"ghazel","year":"2005","journal-title":"Proc 16th IFAC World Congr"},{"key":"3","doi-asserted-by":"crossref","first-page":"3775","DOI":"10.1109\/CDC.1998.761809","article-title":"diagnosis and analysis of diagnosis properties using discrete event dynamic systems","author":"larsson","year":"1998","journal-title":"Proc 37th IEEE Conf Dec Control"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TRA.2003.809590"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ROBOT.2007.363116"},{"key":"10","first-page":"188","article-title":"monitoring discrete event systems using petri net embeddings","author":"hadjicostis","year":"1639","journal-title":"Lecture Notes Comp Sci"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/TR.1985.5222114"},{"key":"6","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","article-title":"fault diagnosis in discrete-event systems: framework and model reduction","volume":"48","author":"hashtrudi zad","year":"2003","journal-title":"IEEE Trans Aut Control"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/9.412626"},{"key":"4","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/70.864231","article-title":"modelling and control with first order hybrid petri nets","volume":"4","author":"balduzzi","year":"2000","journal-title":"IEEE Trans Robot Autom"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/9.855548"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/BF01441211"}],"event":{"name":"2008 IEEE International Conference on Automation Science and Engineering (CASE 2008)","start":{"date-parts":[[2008,8,23]]},"location":"Arlington, VA","end":{"date-parts":[[2008,8,26]]}},"container-title":["2008 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4622934\/4626395\/04626493.pdf?arnumber=4626493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T12:01:14Z","timestamp":1497787274000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4626493\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/coase.2008.4626493","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}