Network-centric control based on Petri nets in the structured discrete-event system

Using the concepts of network-centric control, we develop a design methodology for a controlling Petri net in real-time automation systems. The methodology involves the structured discrete-event system (SDES) model to analyze the functionality and coherence of the object. We define structure of the model, as well as propose a technique for analyzing and modeling the object via the process Petri net. Finally, we suggest an analysis technique for the process Petri net and develop a design method for a supervisor, i.e., a controlling Petri net which implements the SDES specification (in coherence with the process net).