Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions

ShouGuang Wang, Dan You, MengChu Zhou +1

Linear constraint transformation is an essential step to solve the forbidden state problem in Petri nets that contain uncontrollable transitions. This work studies the equivalent t…