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 | IEEE Conference Publication | IEEE Xplore