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

Abstract

Abstract-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 intercontrol 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.

Treatment pathways as petri nets in patient workflow management

“…Previous work in the area of Petri net applications was mainly done for modelling in the industrial and communication domains with a focus on verification of hardware and software, analysing behavioural features of interactions in multi-agent systems, model checking of coordination protocols, as well as facilitating and monitoring of technological processes [5,14,21,28,35,36].…”