{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:15:44Z","timestamp":1729635344134,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/isie.2004.1571882","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T23:42:54Z","timestamp":1137627774000},"page":"645-650 vol. 1","source":"Crossref","is-referenced-by-count":2,"title":["Addition of fault detection capabilities in automation applications using Petri nets"],"prefix":"10.1109","author":[{"given":"L.","family":"Gomes","sequence":"first","affiliation":[]},{"given":"J.P.","family":"Barros","sequence":"additional","affiliation":[]},{"given":"R.","family":"Lino","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"192","article-title":"hierarchies in coloured petri nets","author":"huber","year":"1989","journal-title":"Proceedings of the 10th International Conference on Application and Theory of Petri Nets 1989"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-3-642-69968-9"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/ETFA.2003.1248731"},{"year":"1985","author":"silva","journal-title":"Las Redes de Petri en la AutomaLas Redes de Petri en la Automa?tica yla Informa?tica","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","article-title":"lectures on petri nets i: basic models,chapter place\/transitioni petri nets","author":"desel","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"14","article-title":"coloured petri nets. basic concepts, alnalysis methods and practical use - voluim1e 1-3","author":"jeensen","year":"1992","journal-title":"Monographs in Theoretical Computer Science"},{"key":"11","article-title":"concurrent object-oriented programmiing and petri nets, advances in petri nets","volume":"2001","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"12","first-page":"1","article-title":"what is a petri net? informal answers for the infomied reader","author":"desel","year":"2001","journal-title":"Unifyino Petri Nets Lecture Notes in Computer Science 2128"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58152-9_8","article-title":"hierarchical high level petri nets for complex system analysis","volume":"815","author":"buchholz","year":"1994","journal-title":"Application and Theory of Petri Nets 1994 Proceedings 15th Initernational Conference"},{"key":"2","article-title":"a survey of basic net models and modular bet classes","author":"bemardinello","year":"0","journal-title":"Advances in Petri Nets 1992"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/CSD.2003.1207712"},{"key":"10","article-title":"kommunikation mit automaten","author":"petri","year":"1962","journal-title":"PhD thesis"},{"key":"7","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-61363-3_12","article-title":"a formal definition of hierarchical predicate transition nets","author":"he","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"6","article-title":"petri net model node structuring techniques for embedded system design","author":"gomes","year":"2002","journal-title":"proceedings of the 5th Portuguese Conference on Automatic Control"},{"year":"1992","author":"david","journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"9","article-title":"on the abstraction of coloured petri nets","author":"lakos","year":"0","journal-title":"ATPN'97 Lecture Notes in Computer Science LNCS 1248"},{"year":"1993","journal-title":"International Electrotechnical Conmnissionl IEC 1 131-3 Programmnable Controllers - Part 3 Programmino Languages","key":"8"}],"event":{"name":"2004 IEEE International Symposium on Industrial Electronics","start":{"date-parts":[[2005,5,7]]},"location":"Ajaccio, France","end":{"date-parts":[[2005,5,7]]}},"container-title":["2004 IEEE International Symposium on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10499\/33258\/01571882.pdf?arnumber=1571882","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T02:30:44Z","timestamp":1497666644000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1571882\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isie.2004.1571882","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}