2020
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020