{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:51Z","timestamp":1761487971120},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416832","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T15:59:03Z","timestamp":1199462343000},"page":"657-664","source":"Crossref","is-referenced-by-count":15,"title":["Hierarchical distributed controllers - design and verification"],"prefix":"10.1109","author":[{"given":"Dirk","family":"Missal","sequence":"first","affiliation":[]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_9"},{"key":"ref11","article-title":"Analysing Signal-Net Systems","author":"starke","year":"2002","journal-title":"Technical report number 162"},{"key":"ref12","article-title":"Process semantics and process equivalence of NCEM","author":"desel","year":"2000","journal-title":"Proc 7th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN’00)"},{"key":"ref13","article-title":"Input\/Output Equivalence of Petri Modules","author":"desel","year":"2002","journal-title":"Proceedings of the 6th Biennal World Conference on Integrated Design and Process Technology (IDPT)"},{"key":"ref4","article-title":"Design and Implementation of Heterogeneous Distributed Controllers – A Case Study","author":"hirsch","year":"2007","journal-title":"IEEE Int Conf on Industrial Informatics (INDIN'07)"},{"key":"ref3","first-page":"40","article-title":"A component-based verification approach based on Petri net components","author":"padberg","year":"2007","journal-title":"Proc FORMS\/FORMAT 2007 – \"Formal Methods for Automation and Safety in Railway and Automotive Systems\""},{"key":"ref6","article-title":"IEC 61499 Function Blocks for for Embedded and Distributed Control Systems Design","author":"vyatkin","year":"2007","journal-title":"Instrument Society of America"},{"key":"ref5","first-page":"64","article-title":"Functional Design for IEC 61499 Distributed Control Systems using UML Activity Diagrams","author":"panjaitan","year":"2005","journal-title":"proceedings of the 2005 International Conference on Instrumentation Communications and Information Technology ICICI 2005"},{"key":"ref8","first-page":"225","article-title":"Extended Computation Tree Logic","author":"roch","year":"2000","journal-title":"Proc CESP 2000 Workshop Number 140 in Informatik Berichte"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355448"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMR.2006.012252"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416832.pdf?arnumber=4416832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:09:25Z","timestamp":1489687765000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416832\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416832","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}