Abstract
Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs. However, it is important to convert the controlled system represented by Petri nets into the program of a programmable logic controller (PLC) for the implementation of automation tasks. This study proposes a methodology based on Petri nets for deadlock prevention, and generates PLC codes for an AMS. In the suggested methodology, a Petri net model of an uncontrolled system is built, and the controlled Petri net model is developed using a deadlock-prevention method. The controlled Petri net model is then transformed into an automation-controlled Petri net model, which is further converted into a controlled token-passing logic model. The controlled token- passing logic model is utilised to generate the ladder diagrams for the AMS under consideration. The proposed methodology was tested using a real-world AMS at King Saud University labs. It provides an effective method for PLC implementation from a controlled system model represented by Petri nets.
Highlights
An automated manufacturing system (AMS) is a conglomeration of robots, machine tools, fixtures, and buffers
This study proposes a methodology based on Petri nets for deadlock prevention, and generates programmable logic controller (PLC) codes for an AMS
Petri nets can be used to provide a successful solution for the conceptual design, and the heuristic design is replaced by the transformation of Petri nets into ladder diagrams (LDs), which is introduced in Satoh et al [34], Jafari and Boucher [35], Burns and Bidanda [36], and Uzam et al [37]
Summary
Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs. it is important to convert the controlled system represented by Petri nets into the program of a programmable logic controller (PLC) for the implementation of automation tasks. The proposed methodology was tested using a real-world AMS at King Saud University labs It provides an effective method for PLC implementation from a controlled system model represented by Petri nets. Verskeie metodes is al voorgestel om dooiepunte in AMSe te verhoed, maar dit is belangrik om die beheerde stelsel deur die Petri-nette voorgestel om te skakel na die rekenaarkode vann programmeerbare logiese beheerder (PLC) sodat dit geïmplementeer kan word. ʼn Metodologie gegrond op Petri-nette vir dooiepunt voorkoming word voorgehou en genereer PLC rekenaarkode vir AMSe. In die voorgestelde metodologie wordn Petri-netmodel vann onbeheerde stelsel geskep en die beheerde Petri-netmodel is dan ontwikkel met die dooiepuntvoorkomingsmetode. Dit verskafn effektiewe metode vir PLC implementering vann beheerde stelsel wat deur Petri-nette voorgestel word
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
