High-level Petri nets for the process description and control in service-oriented manufacturing systems

International Journal of Production Research

Volumn 50, Issue 6, 2012, Pages 1650-1665

  Mendes, J Marco ^a   Leitão, Paulo ^a,b   Colombo, Armando W ^c,d   Restivo, Francisco ^a  

^a UNIVERSITY OF PORTO   (Portugal)

^b INSTITUTO POLITÉCNICO DE BRAGANÇA   (Portugal)

^c Schneider Electric Automation GmbH   (Germany)

^d UNIVERSITY OF APPLIED SCIENCES EMDEN LEER   (Germany)

Author keywords

flexible manufacturing systems; High level Petri nets; reconfigurability; service oriented systems

Indexed keywords

DISTRIBUTED ENTITY; HIGH-LEVEL PETRI NETS; INTEGRATED APPROACH; PROCESS EXECUTION; RECONFIGURABILITY; SERVICE ORIENTATION; SERVICE ORIENTED; SERVICE ORIENTED SYSTEMS;

FLEXIBLE MANUFACTURING SYSTEMS; FORMAL LANGUAGES; INDUSTRIAL APPLICATIONS; PETRI NETS;

INTEROPERABILITY;

EID: 84861381551     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207543.2011.575892     Document Type: Article

References (35)

1. Bonfatti, F., Gadda, G., and Monari, P.D., 1995. Re-usable software design for programmable logic controllers. ACM SIGPLAN Notices, 30 (11), 31-40.
2. Colombo, A.W., Carelli, R., and Kuchen, B., 1997. A temporised Petri net approach for designing, modelling and analysis of flexible production systems. International Journal of Advanced Manufacturing Technology, 13 (3), 214-226.
3. Colombo, A.W., Neubert, R. and Schoop, R., 2001. A solution to holonic control systems. Proceedings of the 8th IEEE international conference on emerging technologies and factory automation, 15-18 October 2001 Antibes-Juan les Pins, France. Piscataway, NJ: IEEE, 489-498.
4. Deen, S., 2003. Agent-based manufacturing: Advances in the holonic approach. Berlin/Heidelberg: Springer-Verlag.
5. Erickson, K., 1996. Programmable logic controllers. IEEE Potentials, 15 (1), 14-17.
6. Feldmann, K., Schnur, C., and Colombo, A.W., 1996. Modularised, distributed real-time control of flexible production cells, using Petri nets. International Journal of IFAC Control Engineering Practice, 4 (8), 1067-1078.
7. Holloway, L., Krogh, B., and Giua, A., 1997. Survey of Petri net methods for controlled discrete-event systems. Discrete-Event Systems: Theory and Applications, 7 (2), 151-190.
8. IEC Standard, 2003. IEC 61131-3, Programmable Controllers -Part 3: Programming Languages.
9. ISO/IEC Standard, 2000. High-level Petri Nets -Concepts, Definitions and Graphical Notation. Final Draft International Standard ISO/IEC 15909.
10. Jammes, F. and Smit, H., 2005. Service-oriented paradigms in industrial automation. IEEE Transactions on Industrial Informatics, 1 (1), 62-70.
11. Jammes, F. and Smit, H., 2005. Service-oriented Architectures for Devices -the SIRENA view. Proceedings of the 3rd IEEE international conference on industrial informatics, 10-12 August 2005, Perth, Australia, 140-147.
12. Jammes, F., Smit, H., Lastra, J.L.M., and Delamer, I., 2005. Orchestration of service-oriented manufacturing processes. Proceedings of the 10th IEEE international conference ETFA, 1, 19-22 September 2005, Catania, Italy, 617-624.
13. Jensen, K., 1992. Coloured Petri nets: Basic concepts, analysis methods and practical use. Monographs on Theorical Computer Science, 1.
14. Kurihara, K. et al., 2002. Factory automation control software designing method based on Petri nets. International Journal of Production Research, 40 (15), 3605-3625.
15. Leitão, P., et al., 2003. Formal specification of holonic control system ADACOR, using High-level Petri nets. Proceedings of the 1st IEEE international conference on industrial informatics, 21-24 August 2003, Banff, Alberta, Canada, 263-272.
16. Lewis, R., 2001. Modeling distributed control systems using IEC 61499 -applying function blocks to distributed systems. Institution of Electrical Engineers, Stevenage, UK.
17. Marco, M.J. et al., Service-oriented control architecture for reconfigurable production systems. In: 6th IEEE International Conference on Industrial Informatics, 2008, 13-16 July 2008, Daejeon, South Korea, 744-749.
18. Mehrabi, M.G., Ulsoy, A.G., and Koren, Y., 2000. Reconfigurable manufacturing systems and their enabling technologies. International Journal of Manufacturing Technology and Management, 1 (1), 114-131.
19. Melzer, I. et al., 2007. Service-orientierte Architecturen mit Web Services [Service-oriented architectures with web services], 2nd ed., Elsevier, Spektrum Akademischer Verlag.
20. Mendes, J.M., et al., 2010. Composition of Petri nets models in service-oriented industrial automation. Proceedings of the 8th IEEE international conference on industrial informatics, 13-16 July 2010, Osaka, Japan, 578-583.
21. Mendes, J.M., et al., 2009. Customisable service-oriented Petri net controllers. Proceedings of the 35th annual conference of the IEEE industrial electronics society, 3-5 November 2009, Porto, Portugal, 4341-4346.
22. Mendes, J., et al., 2009. Software methodologies for the engineering of service-oriented industrial automation: The continuum project. Proceedings of the 33rd IEEE international conference on computer software and applications, 20-24 July 2009, Seattle, Washington, 452-459.
23. Moore, K.E. and Gupta, S.M., 1996. Petri net models of flexible and automated manufacturing systems: A survey. International Journal of Production Research, 34 (11), 3001-3035.
24. Murata, T., et al., 1986. A Petri net based controller for flexible and maintainable sequence control and its application in factory automation. IEEE Transactions on Industrial Electronics, 33 (1), 1-8.
25. Murata, T., 1989. Petri nets: Properties, analysis and applications. IEEE, 77, 541-580.
26. OASIS Standard, 2007. Web Services Business Process Execution Language Version 2.0.
27. OASIS Standard, 2009. Devices Profile for Web Services Version 1.1.
28. Peltz, C., 2003. Web Services Orchestration. Hewlett Packard, Co.
29. Peng, S. and Zhou, M., 2003. Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design. International Journal of Production Research, 41 (3), 629-644.
30. Popescu, C. and Lastra, J., 2008. Modelling interaction-aware services from an orchestration viewpoint. Proceedings of the 6th IEEE international conference on industrial informatics, 13-16 July 2008, Daejeon, South Korea, 780-785.
31. Shukor, S.A. and Axinte, D.A., 2009. Manufacturability analysis system: Issues and future trends. International Journal of Production Research, 47 (5), 1369-1390.
32. Vallete, R., 1979. Analysis of Petri nets by stepwise refinements. Journal of Computer and Systems Science, 18, 35-46.
33. Vyatkin, V., Hanisch, H. and Ivanov, G., 2001. Application of formal methods for deep testing of controllers in holonic systems. Proceedings IEEE international conference on information technology in mechatronics, 1-3 October 2001, Istanbul, Turkey, 53-58.
34. Wooldridge, M., 2002. An introduction to multi-agent systems. John Wiley & Sons.
35. Zurawski, R. and Zhou, M., 1994. Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics, 41 (6), 567-583.