{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:45:08Z","timestamp":1730220308309,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638421","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T18:08:47Z","timestamp":1223402927000},"page":"377-382","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing the liveliness of IEC 61499 function blocks"],"prefix":"10.1109","author":[{"given":"Nils","family":"Hagge","sequence":"first","affiliation":[]},{"given":"Bernardo","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275712"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560356"},{"key":"15","first-page":"731","article-title":"formal approach for modeling and verification of iec 61499 function blocks","volume":"44","author":"dimitrova","year":"2005","journal-title":"Proc Intl Conf Advanced Manufacturing Technologies (AMTECH 2005)"},{"journal-title":"Entwicklung einer Software-Komponente in Java zur Analyse spezieller Netzeigenschaften von Petri-Netzen in CNet","year":"2003","author":"luecke","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384942"},{"journal-title":"CNet-Komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen","year":"2002","author":"wurmus","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355187"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384885"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DIS.2006.51"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384941"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641732"},{"journal-title":"Function Block Development Kit","year":"2000","author":"christensen","key":"23"},{"year":"0","key":"24"},{"year":"0","key":"25"},{"year":"1993","key":"3","article-title":"programmable controllers - part 3: programming languages"},{"year":"2005","key":"2","article-title":"function blocks - part 1: architecture"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275709"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275692"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275713"},{"journal-title":"XNet-Ein echtzeitfa?higes Ausfu?hrungsmodell fu?r Petri-Netz-basierte Komponentenheschreibungen in der Steuerungstechnik","year":"2006","author":"hagge","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275711"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612508"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355449"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638421.pdf?arnumber=4638421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:24:55Z","timestamp":1489764295000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638421","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}