Paper Info
Title
On Service Orchestration Of Cyber Physical System And Its Verification Based On Petri Net
Abstract
Cyber physical system (CPS for short) that consists of distributed open subsystems are connected through decentralized control. Its verification in the open system is hard but is important. In this paper, we showed that CPS service control flow and service specification can be modeled with Petri net. We proposed a Petri net-based support for the orchestration of CPS service by implementing service specification into CPS service control flow. Then, we also proposed how to verify the behavioral inheritance of the orchestrated service in order to confirm there is no loss of existing functionality in the system after the implementation. Finally, we illustrated the approach with an example of a control system.
Year
Venue
Field
2016
2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS
Decentralised system,Petri net,Service control,Computer science,Cyber-physical system,Control system,Artificial neural network,Open system (systems theory),Orchestration (computing),Distributed computing
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Mohd Anuaruddin Bin Ahmadon1610.13
shingo26431.04