LOGICAL PROPERTIES ANALYSIS AND STOCHASTIC PERFORMANCES ESTIMATED OF PETRI NETS UNDER RESTRICTIVE CONCURRENT MACHINE
Changjun Jiang · 1996
In this paper, the firing rule of restrictive concurrence is presented. The analysis tool of behavior and the estimation method of performance are established for Petri nets. The results of the paper can be used as theoetical basis for analysis and estimation of systems under restrictive concurrent machine. The results also provide scientific basis for concurrent schedule optimization of systems.