{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:55:14Z","timestamp":1729670114038,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/indin.2003.1300278","type":"proceedings-article","created":{"date-parts":[[2004,7,9]],"date-time":"2004-07-09T09:50:57Z","timestamp":1089366657000},"page":"263-272","source":"Crossref","is-referenced-by-count":4,"title":["Formal specification of holonic control system adacor product holon, using high-level petri nets"],"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":[]},{"given":"R.","family":"Schoop","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0959-4_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1247707"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2002.1176041"},{"key":"ref13","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","volume":"2","author":"jensen","year":"1995"},{"key":"ref14","first-page":"237","article-title":"Design of Distributed realtime control agents for intelligent manufacturing systems","author":"zhou","year":"1999","journal-title":"Proceedings of the 2nd International Workshop on Intelligent Manufacturing Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438228"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-53863-1_24","article-title":"Linear Invariants in Commutative High-Level Nets","volume":"483","author":"couvreur","year":"1990","journal-title":"Advances in Petri Nets Lecture Notes in Computer Science"},{"key":"ref17","article-title":"Towards a General and Powerful Computation of Flows for Parametrized Coloured nets","author":"haddad","year":"1988","journal-title":"5th European Workshop on Application and Theory of Petri Nets"},{"key":"ref18","article-title":"Coloured Petri nets. Basic Concepts, Analysis methods and Practical Use","volume":"1","author":"jensen","year":"1992","journal-title":"Monographs on Theoretical Computer Science"},{"key":"ref19","first-page":"53","article-title":"Application of Formal Methods for Deep Testing of Controllers in Holonic Systems","author":"vyatkin","year":"2001","journal-title":"proceedings of the 1st IEEE International Conference on Information Technology in Mechatronics (ITM 2001)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(98)00100-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35613-6_30"},{"key":"ref6","article-title":"Journal of Applied Systems Studies","volume":"2","year":"2001","journal-title":"Special Issue on Industrial Applications of Multi-Agent and Holonic Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2001.997723"},{"key":"ref8","article-title":"An Approach for the Formal Specification of Holonic Control Systems","author":"leit\u00e3o","year":"2003","journal-title":"to appear in the 1st International Conference on Applications of Holonic and Multi-Agent Systems (HoloMAS)"},{"key":"ref7","first-page":"2968","article-title":"Adaptive Production Control Systems","author":"leit\u00e3o","year":"2002","journal-title":"Proceedings of special session on Agent-based Intelligent Automation and Holonic Control Systems of the 28th Annual Conference of the IEEE Industrial Electronics Society"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(98)00079-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(98)00102-X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref20","first-page":"44","article-title":"Steuerungsentwurf mit Petrinetzen. SPSMagazin","author":"frey","year":"2002"}],"event":{"name":"IEEE International Conference on Industrial Informatics, 2003. INDIN 2003.","location":"Banff, AB, Canada"},"container-title":["IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9109\/28887\/01300278.pdf?arnumber=1300278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:41:54Z","timestamp":1497602514000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1300278\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/indin.2003.1300278","relation":{},"subject":[]}}