{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:43:57Z","timestamp":1729673037516,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005080","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T16:34:59Z","timestamp":1421166899000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["Petri net discovery of discrete event processes by computing t-invariants"],"prefix":"10.1109","author":[{"given":"Tonatiuh","family":"Tapia-Flores","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Lopez-Mellado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana Paula","family":"Estrada-Vargas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Jacques","family":"Lesage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"Identification of partially observable discrete even manufacturing systems","author":"estrada-vargas","year":"2013","journal-title":"in Proc of the 18th IEEE Conf or Emerging Technologies & Factory Automation"},{"key":"ref11","first-page":"1","article-title":"A Stepwise Method for Identification of Controlled Discrete Manufacturing Systems","author":"estrada-vargas","year":"2014","journal-title":"Int Journal of Computer Integrated Manufacturing Pub on-line"},{"key":"ref12","article-title":"A comparative analysis of recent identification approaches foi discrete event systems","volume":"2010","author":"estrada-vargas","year":"0","journal-title":"Mathematical Problems in Engineering"},{"key":"ref13","article-title":"Model identification and synthesis of discrete-event systems","author":"cabasino","year":"2013","journal-title":"Contemporary Issues in Systems Science and Engineering"},{"key":"ref14","first-page":"469","article-title":"Mining Process Models from Workflow Logs","volume":"1377","author":"agrawal","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2003.10.005"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/11610113_52","article-title":"Detecting implicit dependencies between tasks from event logs","volume":"3841","author":"wen","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2011.186"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.03.064"},{"key":"ref4","first-page":"11","article-title":"Identification of concurrent discrete event systems using Petri nets","author":"meda-campana","year":"2005","journal-title":"Proceedings of the IMACS World Congress on Computation and Applied Mathematics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.914135"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739039"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0025-0"},{"key":"ref8","first-page":"6","article-title":"Fault detection of discrete event systems using an identification approach","author":"klein","year":"2005","journal-title":"Proc 16th IFAC World Congr"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.09.004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116828"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2011.649369"},{"key":"ref20","first-page":"368","article-title":"Discovery, Conformance and Enhancement of Business Processes","author":"van der aalst","year":"2011"},{"year":"0","key":"ref21","article-title":"PIPE 2: Platform Independent Petri net Editor 2"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005080.pdf?arnumber=7005080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:35:36Z","timestamp":1498174536000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005080\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005080","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}