:  . .
:   -
. :  0421000023\0064
:  30.1
:  
:  2010
:  . . - / . 30.1 " ". .: , 2010. .506-535.
:   , , , - , ,
(.):  logical control, control system, network-centric system, supervisor, discrete event systems, event model, Petri net
:   c , . - . , . , .
(.):  The paper deals with the methodology of control Petri net synthesis developed for real-time automation systems. The methodology is based on the model called a structured discrete event system (SDES) applied to analysis functionality and consistency. In the paper, SDES structure is defined, the technique of SDES controllability analysis is proposed. Developed are the method (based on SDES model) of Petri net synthesis for process modeling, the technique of process net analysis and the synthetic method of supervisor control net providing, jointly with the process net, the fulfillment of initial specifications.

PDF
-

: 6172, : 2657, : 10.


© 2007.