High-Level Petri Nets control modules for service-oriented devices: A case study

This paper describes a solution for the control of service-oriented devices based on modular and special adapted high-level Petri nets process description of intra- and inter-control activities. The procedure is applied on a case study scenario, corresponding to a real transfer system made of several control devices represented as service-oriented components able to share information between them. The high-level Petri Nets are adapted to associable models applicable to describe control processes and sufficient elastic for different control strategies. Valuable and flexible control features are obtained from its application, such as an integrated methodology for the modular control with decision support and validation.