{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:17:05Z","timestamp":1742933825434,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116278"},{"type":"electronic","value":"9783642116285"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11628-5_25","type":"book-chapter","created":{"date-parts":[[2010,2,26]],"date-time":"2010-02-26T04:02:20Z","timestamp":1267156940000},"page":"233-240","source":"Crossref","is-referenced-by-count":0,"title":["Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation"],"prefix":"10.1007","author":[{"given":"J. Marco","family":"Mendes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Restivo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Leit\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando W.","family":"Colombo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/TII.2005.844419","volume":"1","author":"F. Jammes","year":"2005","unstructured":"Jammes, F., Smit, H.: Service-oriented paradigms in industrial automation. IEEE Transactions on Industrial Informatics\u00a01, 62\u201370 (2005)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Bobek, A., Zeeb, E., Bohn, H., Golatowski, F., Timmermann, D.: Device and service templates for the Devices Profile for Web Services. In: Proceedings of the 6th IEEE International Conference on Industrial Informatics, pp. 797\u2013801 (2008)","DOI":"10.1109\/INDIN.2008.4618210"},{"key":"25_CR3","first-page":"525","volume-title":"Proceedings of the Workshop on Intelligent Information Technology Applications","author":"Q. Li","year":"2007","unstructured":"Li, Q., Shu, Y., Tao, C., Peng, X., Shi, H.: Service-Oriented Embedded Device Model in Industrial Automation. In: Proceedings of the Workshop on Intelligent Information Technology Applications, pp. 525\u2013529. IEEE Computer Society, Los Alamitos (2007)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Delamer, I.M., Lastra, J.L.M.: Self-orchestration and choreography: towards architecture-agnostic manufacturing systems. In: Proceedings of the 20th International Conference on Advanced Information Networking and Applications, vol.\u00a02, p. 5 (2006)","DOI":"10.1109\/AINA.2006.301"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Puttonen, J., Lobov, A., Lastra, J.L.M.: An application of BPEL for service orchestration in an industrial environment. In: Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation, pp. 530\u2013537 (2008)","DOI":"10.1109\/ETFA.2008.4638450"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Lobov, A., Puttonen, J., Villasenor, V., Andiappan, R., Lastra, J.L.M.: Service oriented architecture in developing of loosely-coupled manufacturing systems. In: Proceedings of the 6th IEEE International Conference on Industrial Informatics, pp. 791\u2013796 (2008)","DOI":"10.1109\/INDIN.2008.4618209"},{"key":"25_CR7","unstructured":"Rahman, M., Ahmad, H.F., Suguri, H., Sadik, S., Longe, H.O.D., Ojo, A.K.: Supply chain optimization towards personalizing web services. In: 4th International IEEE Conference on Intelligent Systems, vol.\u00a03, pp. 17\u201322 (2008)"},{"key":"25_CR8","first-page":"318","volume-title":"Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services","author":"D. Nguyen","year":"2008","unstructured":"Nguyen, D., Savio, D.: Exploiting SOA for adaptive and distributed manufacturing with cross enterprise shop floor commerce. In: Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, pp. 318\u2013323. ACM, New York (2008)"},{"key":"25_CR9","first-page":"259","volume-title":"IFIP International Federation for Information Processing, Innovation in Manufacturing Networks","author":"L. Ribeiro","year":"2008","unstructured":"Ribeiro, L., Barata, J., Mendes, P.: MAS and SOA: Complementary Automation Paradigms. In: IFIP International Federation for Information Processing, Innovation in Manufacturing Networks, vol.\u00a0266, pp. 259\u2013268. Springer, Boston (2008)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Cachapa, D., Colombo, A., Feike, M., Bepperling, A.: An approach for integrating real and virtual production automation devices applying the service-oriented architecture paradigm. In: Proceedings of the IEEE Conference on Emerging Technologies & Factory Automation, pp. 309\u2013314 (2007)","DOI":"10.1109\/EFTA.2007.4416783"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TIE.1986.351700","volume":"33","author":"T. Murata","year":"1986","unstructured":"Murata, T., Komoda, N., Matsumoto, K., Haruna, K.: A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation. IEEE Transactions on Industrial Electronics\u00a033(1), 1\u20138 (1986)","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Gomes, L., Steiger-Gar\u00e7\u00e3o, A.: Petri net based Programmable Fuzzy Controller targeted for distributed control environments. In: Proceedings of the the International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and the Second International Fuzzy Engineering Symposium, pp. 1427\u20131434 (1995)","DOI":"10.1109\/FUZZY.1995.409867"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Uzam, M., Jones, A.H., Ajlouni, N.: Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams. In: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation, vol.\u00a02, pp. 649\u2013655 (1996)","DOI":"10.1109\/ETFA.1996.573978"},{"key":"25_CR15","unstructured":"Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Proceedings of the 14th Australasian database conference, pp. 191\u2013200. Australian Computer Society, Inc. (2003)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Bing, L., Huaping, C.: Web Service Composition and Analysis: A Petri-net Based Approach. In: Proceedings of the First International Conference on Semantics, Knowledge and Grid (2005)","DOI":"10.1109\/SKG.2005.143"},{"key":"25_CR17","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1096967.1096977","volume-title":"Proceedings of the first international workshop on Interoperability of heterogeneous information systems","author":"Y. Yang","year":"2005","unstructured":"Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: Proceedings of the first international workshop on Interoperability of heterogeneous information systems, pp. 47\u201354. ACM Press, New York (2005)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes. In: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, p. 147 (2006)","DOI":"10.1109\/AICT-ICIW.2006.48"},{"key":"25_CR19","unstructured":"Jiang, H., Gu, J., Yu, Q.: Modeling of Web-based collaborative negotiation systems using colored Petri net. In: Proceedings of the 12th International Multi-Media Modelling Conference, 8 p. (2006)"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Mendes, J.M., Restivo, F., Leit\u00e3o, P., Colombo, A.W.: Customizable Service-oriented Petri Net Controllers. Accepted for the 35th Annual Conference of the IEEE Industrial Electronics Society (2009)","DOI":"10.1109\/IECON.2009.5414914"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Mendes, J.M., Leit\u00e3o, P., Colombo, A.W., Restivo, F.: High-Level Petri Nets Control Modules for Service-Oriented Devices: A Case Study. In: Proceedings of the 34th Annual Conference of the IEEE Industrial Electronics Society, pp. 1487\u20131492 (2008)","DOI":"10.1109\/IECON.2008.4758173"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Leit\u00e3o, P., Mendes, J.M., Colombo, A.W.: Decision Support System in a Service-oriented Control Architecture for Industrial Automation. In: Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, pp. 1228\u20131235 (2008)","DOI":"10.1109\/ETFA.2008.4638558"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Leitao, P., Mendes, J.M., Colombo, A.W.: Smooth Migration from the Virtual Design to the Real Manufacturing Control. In: Proceedings of the 7th IEEE International Conference on Industrial Informatics (2009)","DOI":"10.1109\/INDIN.2009.5195861"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Mendes, J.M., Bepperling, A., Pinto, J., Leit\u00e3o, P., Restivo, F., Colombo, A.W.: Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project. In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (2009)","DOI":"10.1109\/COMPSAC.2009.66"}],"container-title":["IFIP Advances in Information and Communication Technology","Emerging Trends in Technological Innovation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11628-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:04:00Z","timestamp":1739916240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11628-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116278","9783642116285"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11628-5_25","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2010]]}}}