Knitting technique with TP-PT generations for Petri net synthesis
Daniel Yuh Chao, D.T. Wang · 2002
The knitting technique developed by the authors contains some simple but effective rules which can guide the synthesis of Petri nets (PNs) with the well-behaved properties such as liveness, boundedness, and reversibility, preserved automatically. The previous knitting technique admits only TT generations among sequential or concurrent processes and PP generations among sequential or exclusive processes. The TP- and PT-path generations are more complicated than the generation of TT- or PP-paths. This paper deals with the problem of how to set up the method of TP- or PT-path generations.