Gelen, G. & Uzam, M. (2010) Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory. MAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY , 4(3), 360-396.