A. Nuñez and A. Sanchez "Design of Petri Net Supervisor with 1-monitor place for a Class of Behavioral Constraints", Advances in Science, Technology and Engineering Systems Journal, vol. 2, no. 4, pp. 32–43, 2017, doi: 10.25046/aj020405.