DYNAMIC DEVELOPMENT AND PROPERTIES’ DETERMINATION FOR VARIABLE CONTINUOUS PETRI NET （VCPN）

Variable continuous Petri net is one of the timed continuous Petri net models first put forward by David et al ., but analytical methods have not been given for its dynamic and structural properties. The definition and division of phase interval are first put forward, and by means of one living example the dynamic developing process of VCPN is analyzed. On the basis of the aforementioned works, the relevant definitions and determining theorems for the properties of VCPN are presented by means of the steady phase interval of VCPN. With these conclusions, property analysis can be made of VCPN modeled systems. The methods provide theory foundation for those systems modeled by VCPN.