The modelling and analyzing of sequential control systems using invariant properties of Petri net

Abstract

Control S y s t e m consists of many components which have a f e w s t a t e values. We have proposed the method to model such Sequential Control Systems by Petri nets with place invariant to restrict and to be suitable for the s t a t e values, and also the way to divide a large Petri net t o some small sub nets using the same place invariant. A typical sequential control system, an automated measuring tank system, will be discussed here t o show the effectiveness of the modelling and analyzing methods. Finally, we take advantage o f transition invariant properties in order to analyze such divided sub n e t s .