Model checking of signal interpreted Petri nets
Xiying Weng, Lothar Litz · 2002
We present an approach to verify the properties of a specification for logic control design with signal interpreted Petri net (SIPN) by applying temporal logic model checking methods, which also allows one to study the unstable cycle in the design.