{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T15:02:38Z","timestamp":1775746958666,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2011,9,22]],"date-time":"2011-09-22T00:00:00Z","timestamp":1316649600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10845-011-0591-8","type":"journal-article","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T19:58:14Z","timestamp":1316635094000},"page":"2551-2563","source":"Crossref","is-referenced-by-count":24,"title":["Integration of virtual and real environments for engineering service-oriented manufacturing systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Paulo","family":"Leit\u00e3o","sequence":"first","affiliation":[]},{"given":"J. Marco","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Bepperling","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Cachapa","sequence":"additional","affiliation":[]},{"given":"Armando W.","family":"Colombo","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Restivo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,22]]},"reference":[{"key":"591_CR1","unstructured":"Ali, S. A., Seifoddini, H., & Sun, H. (2005). Intelligent modeling and simulation of flexible assembly systems. In: Proceedings of the 37th conference on winter simulation conference (pp. 1350\u20131358)."},{"issue":"1","key":"591_CR2","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/151527.151545","volume":"3","author":"F. Baccelli","year":"1993","unstructured":"Baccelli F., Canales M. (1993) Parallel simulation of stochastic Petri nets using recurrence equations. Transactions on Modeling and Computer Simulation 3(1): 20\u201341","journal-title":"Transactions on Modeling and Computer Simulation"},{"key":"591_CR3","unstructured":"Cachapa, D., Colombo, A., Feike, M., & Bepperling, A. (2007). An approach for integrating real and virtual production automation devices applying the service-oriented architecture paradigm. In: Proceedings of the 12th IEEE international conference on emergent technologies for factory automation (pp. 309\u2013314)."},{"key":"591_CR4","unstructured":"Gibson, N., Holland, C. P., & Light, B. (1999). Enterprise resource planning: A business approach to systems development. In: Proceedings of the 32nd annual Hawaii international conference on system sciences, Maui, Hawaii (pp. 785\u2013787)."},{"key":"591_CR5","unstructured":"IEC 61131-3. (2003). Programmable controllers\u2014Part 3: Programming Languages."},{"issue":"1","key":"591_CR6","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/TII.2005.844419","volume":"1","author":"F. Jammes","year":"2005","unstructured":"Jammes F., Smit H. (2005a) Service-oriented paradigms in industrial automation. IEEE Transactions on Industrial Informatics 1(1): 62\u201370","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"591_CR7","doi-asserted-by":"crossref","unstructured":"Jammes, F., & Smit, H. (2005b). Service-oriented architectures for devices\u2014The SIRENA view. In: Proceedings of the 3rd IEEE international conference on industrial informatics (pp. 140\u2013147).","DOI":"10.1109\/INDIN.2005.1560366"},{"key":"591_CR8","unstructured":"Mathes, M., Stoidner, C., Heinzl, S., & Freisleben, B. (2009). SOAP4PLC: Web services for programmable logic controllers. In: Proceedings of the 17th Euromicro international conference on parallel, distributed, and network-based processing (PDP) (pp. 210\u2013219)."},{"key":"591_CR9","unstructured":"Melzer, I. et\u00a0al. (2007). \u201cService-orientierte Architecturen mit Web Services\u201d, 2. Aufl., Elsevier, Spektrum Akademischer Verlag"},{"key":"591_CR10","unstructured":"Mendes, J.M. (2010). Engineering framework for service-oriented automation systems (Doctoral dissertation submitted to the Faculty of Engineering of the University of Porto, September 2010)."},{"key":"591_CR11","unstructured":"Mendes, J. M., Leit\u00e3o, P., Restivo, F., & Colombo, A. W. (2010). Composition of Petri nets models in service-oriented industrial automation. In: Proceedings of the 8th IEEE international conference on industrial informatics (INDIN\u201910) (pp. 578\u2013583)."},{"key":"591_CR12","doi-asserted-by":"crossref","unstructured":"Mendes, J. M., Bepperling, A., Pinto, J., Leit\u00e3o, P., Restivo, F., & Colombo, A. W. (2009a). Software methodologies for the engineering of service-oriented industrial automation: The Continuum project. In: Proceedings of the 33rd IEEE international conference on computer software and applications (COMPSAC\u201909) (pp. 452\u2013459).","DOI":"10.1109\/COMPSAC.2009.66"},{"key":"591_CR13","doi-asserted-by":"crossref","unstructured":"Mendes, J. M., Restivo, F., Leit\u00e3o, P., & Colombo, A. W. (2009b). Customizable service-oriented Petri net controllers. In: Proceedings of the 35th annual conference of the IEEE industrial electronics society (IECON\u201909) (pp. 4341\u20134346).","DOI":"10.1109\/IECON.2009.5414914"},{"key":"591_CR14","unstructured":"Mendes, J. M., Leit\u00e3o, P., Colombo, A. W., & Restivo, F. (2008). Service-oriented process control using high-level Petri nets. In: Proceedings of the 6th IEEE international conference on industrial informatics (pp. 750\u2013755)."},{"key":"591_CR15","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T. (1989) Petri nets: Properties, analysis and applications. IEEE 77: 541\u2013580","journal-title":"IEEE"},{"key":"591_CR16","unstructured":"OASIS\u2014Organization for the advancement of structured information standards. (2007). Web services business process execution language version 2.0, OASIS Standard"},{"key":"591_CR17","unstructured":"OASIS\u2014Organization for the Advancement of Structured Information Standards. (2009). Devices profile for web services (DPWS), version 1.1, OASIS Standard"},{"key":"591_CR18","unstructured":"Puttonen, J., Lobov, A., & Martinez Lastra, J. L. (2008). An application of BPEL for service orchestration in an industrial environment. In: Proceedings of the IEEE international conference on emerging technologies and factory automation (ETFA 2008) (pp. 530\u2013537)."},{"issue":"1","key":"591_CR19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MRA.2004.1275947","volume":"11","author":"R. G. Qiu","year":"2004","unstructured":"Qiu R. G., Zhou M. (2004) Mighty MESs: State-of-the-art and future manufacturing execution systems. IEEE Robotics & Automation Magazine 11(1): 19\u201325","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"591_CR20","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1023\/A:1008915503623","volume":"10","author":"S. Ramaswamy","year":"1998","unstructured":"Ramaswamy S., Yan Y. (1998) Interactive modeling and simulation of virtual manufacturing assemblies: An agent-based approach. Journal of Intelligent Manufacturing 10: 503\u2013518","journal-title":"Journal of Intelligent Manufacturing"},{"key":"591_CR21","unstructured":"Taisch, M., Colombo, A. W., Karnouskous, S., & Cannatta, A. (2010). SOCRADES roadmap, the future of SOA-based factory automation. Available at www.socrades.eu , 2010."},{"key":"591_CR22","first-page":"79","volume":"6","author":"G. J. Tsinarakis","year":"2005","unstructured":"Tsinarakis G. J., Valavanis K. P., Tsourveloudis N. C. (2005) Modular Petri net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems. Journal of Intelligent Manufacturing 6: 79\u201392","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"1","key":"591_CR23","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"van der Aalst W. (1998) The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1): 21\u201366","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"6","key":"591_CR24","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1109\/41.334574","volume":"41","author":"R. Zurawski","year":"1994","unstructured":"Zurawski R., Zhou M. (1994) Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics 41(6): 567\u2013583","journal-title":"IEEE Transactions on Industrial Electronics"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-011-0591-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10845-011-0591-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-011-0591-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T19:47:01Z","timestamp":1741722421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10845-011-0591-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,22]]},"references-count":24,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["591"],"URL":"https:\/\/doi.org\/10.1007\/s10845-011-0591-8","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,22]]}}}