{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:06:03Z","timestamp":1761487563155,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2005.1612508","type":"proceedings-article","created":{"date-parts":[[2006,4,7]],"date-time":"2006-04-07T00:21:22Z","timestamp":1144369282000},"page":"105-112","source":"Crossref","is-referenced-by-count":14,"title":["Formal models for the verification of IEC 61499 function block based control applications"],"prefix":"10.1109","volume":"1","author":[{"given":"A.","family":"Luder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Schwab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Tangermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Peschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Official Eclipse 3 0 FAQ","year":"2004","author":"arthorne","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"journal-title":"TORERO project","year":"2005","key":"18"},{"key":"15","first-page":"215","article-title":"Dynamic Behavior and the Deadlock-Trap Property of Signal\/Event Nets","author":"schwanke","year":"0","journal-title":"Workshop on Concurrency Specifications and Programming 1998 Berlin Germany 1998 Proceedings"},{"journal-title":"Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen","year":"2000","author":"lu?der","key":"16"},{"key":"13","first-page":"351","article-title":"Controller Synthesis for Net-Condition\/Event-Systems with Incomplete State Observation, Computer Integrated Manufacturing and Automation Technologie (CIMAT 96), Grenoble, France","author":"hanisch","year":"1996","journal-title":"Proceedings"},{"year":"0","key":"14"},{"journal-title":"Supervisoury synthesis for petri nets and partial order specification Klu?ver Academic Publisher Journal on Discrete Event Dynamic Systems","year":"2001","author":"lu?der","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01805563"},{"journal-title":"Transparent Factory - internat based technologies for the factory floor Technical documentation","year":"2005","author":"schneider electric","key":"3"},{"journal-title":"Team homepage","year":"2005","key":"20"},{"journal-title":"Distributed intelligence with PROFINET Technical documentation","year":"2005","author":"siemens","key":"2"},{"journal-title":"International Standard IEC 61499 - Function Blocks","year":"0","key":"1"},{"key":"10","first-page":"415","volume":"41","author":"hanisch","year":"2000","journal-title":"A Signal Extension for Petri Nets and its Use in Controller Design Fundamenta Informaticae"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2004.1377711"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2002.1159698"},{"journal-title":"Function Block Development Kit (FBDK) - Download and User","year":"2005","author":"christensen","key":"4"},{"key":"9","first-page":"55","article-title":"Netz-Condition\/Event-Systeme, 4. Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig","author":"rausch","year":"1995","journal-title":"Proceedings"},{"key":"8","first-page":"215","article-title":"Component design and validation of decentralized reconfigurable control systems with IEC61499, International Symposium on Advanced Control of Industrial Processes","author":"vyatkin","year":"2002","journal-title":"Kumamoto Japan Proceedings"}],"event":{"name":"2005 IEEE Conference on Emerging Technologies and Factory Automation","location":"Catania, Italy"},"container-title":["2005 IEEE Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10734\/33857\/01612508.pdf?arnumber=1612508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T18:05:13Z","timestamp":1489514713000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1612508\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/etfa.2005.1612508","relation":{},"subject":[]}}