Two-Tone Colored Petri Net and Its Application in PLC

Jian Hua Yang
DOI: https://doi.org/10.4028/www.scientific.net/amm.404.618
2013-01-01
Applied Mechanics and Materials
Abstract:2-tone colored Petri net, where one color of tokens stands for logical value true and the other color of tokens for logical value false, is proposed to solve problem of inconsistency between programmable logic control. Symmetry 2-tone colored Petri net is also developed to keep the dynamic behavior in accordance with that of the original Petri net so that invariant method can be employed to analyze properties of nets. Some theorems are given to judge circular control based on reachable tree and T-invariants, and the algorithm for obtaining all minimal T-invariants of symmetry 2-tone colored Petri net is given. Finally, detecting possible dead-loop in symmetry 2-tone colored Petri net is also discussed.
What problem does this paper attempt to address?