{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:17:28Z","timestamp":1772025448976,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540407515","type":"print"},{"value":"9783540451853","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45185-3_6","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T22:12:24Z","timestamp":1277244744000},"page":"59-70","source":"Crossref","is-referenced-by-count":16,"title":["An Approach to the Formal Specification of Holonic Control Systems"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Leit\u00e3o","sequence":"first","affiliation":[]},{"given":"Armando W.","family":"Colombo","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Restivo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Colombo, A.W.: Integration of High-Level Petri Net-based Formal Methods for the Supervision of Flexible Production Systems. In: Tutorial Lecture at the 1st Online Symposium for Electronics Engineers, 20th February (2001)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Van Brussel, H., Wyns, J., Valckenaers, P., Bongaerts, L., Peeters, P.: Reference Architecture for Holonic Manufacturing Systems: PROSA. Computers In Industry\u00a037, 255\u2013274 (1998)","DOI":"10.1016\/S0166-3615(98)00102-X"},{"key":"6_CR3","first-page":"3","volume-title":"Journal of Robotics and Autonomous Systems","author":"K. Fisher","year":"1999","unstructured":"Fisher, K.: Agent-Based Design of Holonic Manufacturing Systems. Journal of Robotics and Autonomous Systems\u00a027, 3\u201313 (1999)"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00124828","volume":"7","author":"F. Maturana","year":"1996","unstructured":"Maturana, F., Norrie, D.: Multi-Agent Mediator Architecture for Distributed Manufacturing. Journal of Intelligent Manufacturing\u00a07, 257\u2013270 (1996)","journal-title":"Journal of Intelligent Manufacturing"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Van Dyke Parunak, H., Baker, A., Clark, S.: The AARIA Agent Architecture: An Example of Requirements-Driven Agent-Based System Design. In: Proceedings of 1st International Conference on Autonomous Agents, pp. 482\u2013483 (1998)","DOI":"10.1145\/267658.267777"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Brennan, R., Fletcher, M., Norrie, D.: An Agent-based Approach to Recon-iguration of Real-Time Distributed Control Systems. In: IEEE Transactions on Robotics and Automation, vol.\u00a018(4), pp. 444\u2013451 (2002)","DOI":"10.1109\/TRA.2002.802211"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Colombo, A.W., Neubert, R., Schoop, R.: A Solution to Holonic Control Systems. In: Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation, Sophia\/Nice, France, pp. 489\u2013498 (2001)","DOI":"10.1109\/ETFA.2001.997723"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Leit\u00e3o, P., Restivo, F.: Adaptive Production Control Systems. In: Proceedings of special session on Agent-based Intelligent Automation and Holonic Control Systems of the 28th Annual Conference of the IEEE Industrial Electronics Society, Sevilla, Spain, 5-8 November, pp. 2968\u20132973 (2002)","DOI":"10.1109\/IECON.2002.1182868"},{"key":"6_CR9","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-52494-0_38","volume-title":"Advances in Petri Nets 1989","author":"M. Silva","year":"1990","unstructured":"Silva, M., Valette, R.: Petri Nets and Flexible Manufacturing. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 374\u2013417. Springer, Heidelberg (1990)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. In: Proceedings of the IEEE, vol.\u00a077(4), pp. 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"key":"6_CR12","volume-title":"Computer-Assisted Management and Control of Manufacturing Systems, cap. 11","author":"A.W. Colombo","year":"1997","unstructured":"Colombo, A.W., Carelli, R.: Petri Nets for Designing Manufacturing Systems. In: Tzafestas, S.G. (ed.) Computer-Assisted Management and Control of Manufacturing Systems, cap. 11. Springer, Heidelberg (1997)"},{"key":"6_CR13","volume-title":"Applications of Petri Nets in Manufacturing Systems-Modeling, Control and Performance Analysis","author":"A. Desrochers","year":"1995","unstructured":"Desrochers, A., Al-Jaar, R.: Applications of Petri Nets in Manufacturing Systems-Modeling, Control and Performance Analysis. IEEE Press, Los Alamitos (1995)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Feldmann, K., Schnur, C., Colombo, A.W.: Modularized, Distributed Realtime Control of Flexible Production Cells, using Petri Nets. In: CEP, vol.\u00a04(8), pp. 1067\u20131078 (1996)","DOI":"10.1016\/0967-0661(96)00105-0"},{"key":"6_CR15","first-page":"151","volume-title":"Discrete-Event Systems: Theory and Applications","author":"L. Holloway","year":"1997","unstructured":"Holloway, L., Krogh, B., Giua, A.: A Survey of Petri net Methods for Controlled Discrete-Event Systems. In: Discrete-Event Systems: Theory and Applications, vol.\u00a07(2), pp. 151\u2013190. Kluwer Academics, Dordrecht (1997)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Leit\u00e3o, P., Restivo, F.: Identification of ADACOR Holons for Manufacturing Control. In: Proceedings of 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 6-8 April, pp. 109\u2013114 (2003)","DOI":"10.1016\/S1474-6670(17)37743-1"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Leit\u00e3o, P., Colombo, A.W., Restivo, F.: A Formal Validation Approach for Holonic Control System Specifications. In: Submitted to 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisboa, Portugal (2003)","DOI":"10.1109\/ETFA.2003.1247707"},{"key":"6_CR18","unstructured":"Vyatkin, V., Hanisch, H.-M., Ivanov, G.: Application of Formal Methods for Deep Testing of Controllers in Holonic Systems. In: Proceedings of the 1st IEEE International Conference on Information Technology in Mechatronics (ITM 2001), Istanbul, Turkey, 1-3 October, pp. 53\u201358 (2001)"},{"key":"6_CR19","unstructured":"Frey, G., Minas, M., John, K.: Steuerungsentwurf mit Petrinetzen. SPS-Magazin, Verlag Marburg, 4\/5, 44-47 (2002)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Colombo, A.W., Neubert, R., S\u00fcssmann, B.: A Colored Petri Net based Approach Towards a Formal Specification of Agent-Controlled Production Systems. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Tunisia (2002)","DOI":"10.1109\/ICSMC.2002.1176041"}],"container-title":["Lecture Notes in Computer Science","Holonic and Multi-Agent Systems for Manufacturing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45185-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:07:21Z","timestamp":1740200841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45185-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407515","9783540451853"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45185-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}