Abstract

In this paper, the authors use Petri nets to model sequential control systems, and explain this way of modelling and analyzing them by using the invariant properties of Petri nets. A sequential control system consists of many components which have a few state values. The authors have proposed a method to model such sequential control systems by using Petri nets with place invariance to restrict and to be suitable for the state values, as well as a method of dividing a large Petri net into some small sub nets using the same place invariance. A typical sequential control system, an automated measuring tank system, is discussed here to show the effectiveness of the modelling and analysis methods. Finally, the authors take advantage of transition invariant properties in order to analyze such divided sub-nets.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.