Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Left | IEEE Conference Publication | IEEE Xplore