Application for Petri net supervisory control and automatic Ladder code translation for the RSLogicx500TM
Published 2015-07-26
Keywords
- Petri Nets, Supervisory Control, Ladder Code,
- ladder code,
- petri nets,
- supervisory control
How to Cite
Abstract
This paper presents a software tool running on WindowsR operating system, intended for formal and systematic design of supervisory controllers for discrete event systems described by Petri nets, and the automatic generation of Ladder code for RsLogix 500TM software. The software is based on general linear vector constraints, and in case of the inadmissibility of some of the imposed constraints, the software has three methods to transform them in admissible ones. The software has also two methods to find siphons and traps on the supervised PN, which is useful to prevent the dead lock of the supervised system. Once the supervisor fulfills the control requirements, the tool can transfer the supervisor, automatically, to Ladder code by the Token Passing Logic extended method.
Downloads
References
- ÅKesson, K.; Fabian, M.; Flordal, H.; Malik, R. Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. En Proceedings of the 8th International Workshop on Discrete Event Systems (pp. 384–5), 2006.
- Cordone, R.; Ferrarini, L.; Piroddi, L. Some results on the computation of minimal siphons in Petri nets. En Conference on Decision and Control. volumen 4, 2003. doi:10.1109/CDC.2003.1271733.
- Frey, G.; Kaiserslautern, U.; Minas, M. Editing, visualizing, and implementing signal interpreted petri nets. En Proceedings of the AWPN 2000 (pp. 57–62), 2000.
- Iordache, M. Methods for the Supervisory Control of Concurrent Systems Based on Petri Net Abstractions. Ph.D. thesis Notre Dame, IN, USA, 2004.
- Iordache, M.; Antsaklis, P. Synthesis of supervisors enforcing general linear constraints in petri nets. The 2002 American Control Conference, 2002.
- Iordache, M.; Moody, O.; Antsaklis, P. A method for deadlock prevention in discrete event systems using Petri nets. Technical Report University of Notre Dame, 1999. Technical Report of the ISIS Group.
- Lima, E.; Dórea, C. An algorithm for supervisory control of discreteevent systems via place invariants. 15th Triennial World Congress of the International Federation of Automatic Control, 2002.
- Moody, J. Petri Net Supervisors for Discrete Event Systems. University of Notre Dame, 1998. URL: https://books.google.com.co/books?id= 6gD6NwAACAAJ.
- petrilld.sourceforge.net Petrilld:develop industrial automation with petri nets. http://petrilld.sourceforge.net/mwiki/index.php/Main_Page, 2014. Consulta: 10-01-2014.
- pipe2.sourceforge.net Platform independent petri net editor 2. http: //pipe2.sourceforge.net, 2014. Consulta: 10-01-2014.
- Uzam, M. Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations. Ph.D. thesis University of Salford, 1998.
- Uzam, M.; Jones, A.; Ajlouni, N. Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams. En Emerging Technologies and Factory Automation, 1996. doi:10.1109/ETFA.1996.573978.
- Wegrzyn, A.; Karatkevich, A.; Bieganowski, J. Detection of deadlocks and traps in Petri nets by means of Thelen’s prime implicant method. International Journal of Applied Mathematics and Computer Science, 14, 113–121, 2004.
- wiki.eecs.umich.edu Desuma. https://wiki.eecs.umich.edu/desuma, 2014. Consulta: 10-01-2014.
- Yamalidou, K.; Moody, J.; Lemmon, M.; Antsaklis, P. Feedback control of petri nets based on place invariants. Automatica, 32, 15–28, 1996. doi: 10.1016/0005-1098(95)00103-4