{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:27:50Z","timestamp":1730204870224,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582477","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T10:20:03Z","timestamp":1159957203000},"page":"2137-2142","source":"Crossref","is-referenced-by-count":2,"title":["Formal Specification of ADACOR Holonic Control System: Coordination Models"],"prefix":"10.1109","author":[{"given":"P.","family":"Leitao","sequence":"first","affiliation":[]},{"given":"A.W.","family":"Colombo","sequence":"additional","affiliation":[]},{"given":"F.","family":"Restivo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"374","article-title":"Petri Nets and Flexible Manufacturing","volume":"424","author":"silva","year":"1989","journal-title":"LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2005.2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/365559.365617"},{"journal-title":"The Ghost in the Machine","year":"1969","author":"koestler","key":"1"},{"key":"7","first-page":"59","article-title":"An Approach for the Formal Specification of Holonic Control Systems","volume":"2744","author":"leita?o","year":"2003","journal-title":"LNAI"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2231-7"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"9","article-title":"Representing Agent Interaction Protocols in UML","volume":"1957","author":"odell","year":"2000","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2005.05.005"},{"key":"11","article-title":"Development and Implementation of Hierarchical Control Structures of Flexible Production Systems Using High-Level Petri Nets","author":"colombo","year":"1998","journal-title":"Manufacturing Automation Series"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2003.1300278"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01582477.pdf?arnumber=1582477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T16:45:49Z","timestamp":1489509949000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582477\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582477","relation":{},"subject":[]}}