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

References

• Bonfatti , F , Gadda , G and Monari , PD . 1995 . Re-usable software design for programmable logic controllers . ACM SIGPLAN Notices , 30 ( 11 ) : 31 – 40 .
   Web of Science ®Google Scholar
• Colombo , AW , 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 .
   Web of Science ®Google Scholar
• Colombo , AW . 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
   Google Scholar
• Deen , S . 2003 . Agent-based manufacturing: Advances in the holonic approach , Berlin/Heidelberg : Springer-Verlag .
   Google Scholar
• Erickson , K . 1996 . Programmable logic controllers . IEEE Potentials , 15 ( 1 ) : 14 – 17 .
   Google Scholar
• Feldmann , K , Schnur , C and Colombo , AW . 1996 . Modularised, distributed real-time control of flexible production cells, using Petri nets . International Journal of IFAC Control Engineering Practice , 4 ( 8 ) : 1067 – 1078 .
   Web of Science ®Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Standard , IEC . 2003. IEC 61131-3, Programmable Controllers – Part 3: Programming Languages
   Google Scholar
• ISO/IEC Standard, 2000. High-level Petri Nets - Concepts, Definitions and Graphical Notation. Final Draft International Standard ISO/IEC 15909
   Google Scholar
• Jammes , F and Smit , H . 2005 . Service-oriented paradigms in industrial automation . IEEE Transactions on Industrial Informatics , 1 ( 1 ) : 62 – 70 .
   Web of Science ®Google Scholar
• Jammes , F and Smit , H . 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
   Google Scholar
• 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
   Google Scholar
• Jensen , K . 1992 . Coloured Petri nets: Basic concepts, analysis methods and practical use . Monographs on Theorical Computer Science , 1
   Google Scholar
• Kurihara , K . 2002 . Factory automation control software designing method based on Petri nets . International Journal of Production Research , 40 ( 15 ) : 3605 – 3625 .
   Web of Science ®Google Scholar
• Leitão , P . 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
   Google Scholar
• Lewis , R . 2001. Modeling distributed control systems using IEC 61499 – applying function blocks to distributed systems. Institution of Electrical Engineers, Stevenage, UK
   Google Scholar
• Marco , MJ . 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
   Google Scholar
• Mehrabi , MG , Ulsoy , AG and Koren , Y . 2000 . Reconfigurable manufacturing systems and their enabling technologies . International Journal of Manufacturing Technology and Management , 1 ( 1 ) : 114 – 131 .
   Google Scholar
• Melzer , I . et al., 2007. Service-orientierte Architecturen mit Web Services [Service-oriented architectures with web services], 2nd ed., Elsevier, Spektrum Akademischer Verlag
   Google Scholar
• Mendes , JM . 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
   Google Scholar
• Mendes , JM . 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
   Google Scholar
• Mendes , J . 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
   Google Scholar
• Moore , KE and Gupta , SM . 1996 . Petri net models of flexible and automated manufacturing systems: a survey . International Journal of Production Research , 34 ( 11 ) : 3001 – 3035 .
   Web of Science ®Google Scholar
• Murata , T . 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 .
   Web of Science ®Google Scholar
• Murata , T . 1989 . Petri nets: Properties, analysis and applications . IEEE , 77 : 541 – 580 .
   Web of Science ®Google Scholar
• OASIS Standard, 2007. Web Services Business Process Execution Language Version 2.0
   Google Scholar
• OASIS Standard, 2009. Devices Profile for Web Services Version 1.1
   Google Scholar
• Peltz , C . 2003. Web Services Orchestration. Hewlett Packard, Co
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Popescu , C and Lastra , J . 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
   Google Scholar
• Shukor , SA and Axinte , DA . 2009 . Manufacturability analysis system: Issues and future trends . International Journal of Production Research , 47 ( 5 ) : 1369 – 1390 .
   Web of Science ®Google Scholar
• Vallete , R . 1979 . Analysis of Petri nets by stepwise refinements . Journal of Computer and Systems Science , 18 : 35 – 46 .
   Web of Science ®Google Scholar
• 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
   Google Scholar
• Wooldridge , M . 2002 . An introduction to multi-agent systems , John Wiley & Sons .
   Google Scholar
• Zurawski , R and Zhou , M . 1994 . Petri nets and industrial applications: A tutorial . IEEE Transactions on Industrial Electronics , 41 ( 6 ) : 567 – 583 .
   Web of Science ®Google Scholar