After their full reachable states are generated, the boundness, liveness, and fairness of the proposed models are verified.
Yisheng An, Naiqi Wu, Xiangmo Zhao, Xuan Li, Pei Chen 2018, 'Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal PriorityControl Systems', Applied Scienceshttp://www.mdpi.com/2076-3417/8/1/141. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)