Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems [Jan 12 178-191]

In each of Fig. 1(a), (c), (e), and (f) in the above-named article [ibid., vol. 42, no. 1, pp. 178-191, Jan. 2012], there is an arc from transition t3 to place p6, which is incorrect. The arc between the transition and the place should be from p6 to t3. The Petri net depicted in Fig. 1(a) is a well-known example that has been widely utilized in the literature.