The closed-form solution of the Control Related States of Deficient Gen-Left k-th order System (the essential element of non-sharing subnet) of Petri Nets
Tsung Hsien Yu · 2016
Earlier, Chao pioneered the very first closed-form solution of the number of reachable and other states for k-th order system which is the first step that will let the exponential computation time for enumerating reachable states of a particular large Petri Net be reduced within intra-second. This paper progresses one step further on enumerating the Control Related States for the Deficient Gen-Left k-th order systems (the initial marking of idle places in one process is less than k) which is an essential element of non-sharing subnet in PNs.