Petri nets are an effective way to model, analyze, and control deadlocks in automated manufacturing systems (AMSs). The need for an effective design tool to design a control system and convert Petri net to ladder diagram for PLC implementation becomes increasingly more important. Therefore, the objective of this paper is to design behaviorally optimal liveness-enforcing supervisor for automated manufacturing system and their ladder diagram for programmable logic controller (PLC) implementation. To do this, first, deadlock prevention method (elementary siphons control method) has been used to design a supervisor to prevent the deadlock in AMSs. Next, a token passing logic (TPL) technique has used to convert the resulted controlled model into ladder diagrams (LDs) for implementation. Finally, the presented methodology can be applied for multiproduct and sizes of AMSs and provided a more effective for PLC implementation.