FORRBIDDEN STATE APPROACH FOR PETRI NETS USIGN PLC

Abstract

In this work, the forbidden state controller design approach is considered to realize by using PLC for Petri nets. First, the structure of the ordinary Petri nets is transfer to the ladder diagram form of PLC, a controller design for the forbidden states, the controlled ladder diagram is obtained such that information about the marking vector and the disabled transition, which are obtained by using the de-signed controller. The controlled ladder diagram is obtained such that the information which contains on the state and disabled transition, is added to the ladder diagram. In addition, the algorithm and steps are also given to add the designed controller to the ladder diagram. Consequently, the occurence of the forbidden states is avoided in the considered Petri net by the developed method.

Keywords

• Petri nets, Forbidden states, PLC

Uygulamalı Bilimler ve Mühendislik

Abstract

Bu çalışmada, Petri ağları için yasaklanmış kontrolör tasarım yaklaşımının, PLC kullanılarak gerçeklemesi ele alınmıştır. Öncelikle, temel Petri ağının yapısı, merdiven diyagramı formunda PLC’ye aktarılmakta, yasaklanmış durumlar için kontrolör elde edilmekte ve son olarak elde edilen kontrolörde işaretleme vektörü ve ateşlenmesine izin verilmeyen geçiş bilgileri, merdiven diyagramına ilave edilerek kontrol edilmiş merdiven diyagramı elde edilmektedir. Ayrıca, kontrolörün merdiven diyagramına ilave edilebilmesi için gerekli algoritma ve adımlar da verilmiştir. Böylece, geliştirilen yöntem ile ele alınan Petri ağında yasaklanmış durumların meydana gelmesi engellenmektedir

Keywords

• Petri ağları, Yasaklanmış durum, PLC

References

1. A. Aybar and A. İftar, “Overlapping Decompo- sitions and Expansions of Petri Nets,” IEEE Transactionson Automatic Control, vol. 47, 511– 515, 2002.
2. A. Aybar and A. İftar, “Decentralized Supervi- sory Controller Design to Avoid Deadlock in Petri Nets,” International Journal of Control, vol. 76, 1285–1295, 2003.
3. A. Aybar and A. İftar, “Centralized and Decen- tralized Supervisory Controller Design to Enforce Boundedness, Liveness, and Rever- sibility in Petri Nets,” International Journal of Control, vol. 78,–553, 2005.
4. A. Aybar and A. İftar, “Supervisory Controller Design to Enforce Some Basic Properties in Timed-Transition Petri Nets Using Strec- hing,” Nonlinear Analysis: Hybrid Systems, 6, 712-729, 2012.
5. A. H. Jones, M.Uzam, and N.AJlouni, “Design of Discrete Event Control Systems for Pro- grammable Logic Controller using T- Timed Petri Nets,” in Proceedings of The 1996 IEEE International Symposium on Computer-Aided Control System Design, Dearborn, 1996, 212–217.
6. A.R. Wang, Z.W. Li, and J.Y. Jia, “A Petri Nets Based Deadlock Avoidance Policy For flexible Manufacturing Systems,” in Proce- edings of The 30th Annual Conference of the IEEE Industrial Electronics Society, Busan, Korea, 2004, 1896–1901.
7. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Acade- mic, Norwell, MA, 1999.
8. E. Aybar, and A. Aybar, “A Simulation Algo- rithm for Real Systems using Petri Nets,” Wseas Transaction on Systems, Vol. 6, 1324 – 1328, 2007.

9. H. A. Özkan, and A. Aybar, “A reversibility En- forcement Approach for Petri Nets using İnvariants,” Wseas Transaction on Systems, vol. 7, 672–681, 2008.
10. T. Mikulczynski, Z. Samsonowicz, and R.Wieclawek, “Using The Net Transforma- tion Method to Program Programmable Lo- gic Controllers,” Control Engineering Practice,, vol. 6, 989–996, 1998.
11. K. Venkatesh, M. Zhou, and R. J. Caudill, “Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design Through A Discrete Manufacturimng Sys- tem,” IEEE Transactions on Industrial Electronics, vol. 41, 611–619, 1994.
12. M. V. Moreira, D. S Botelho, and J. C. Basilio, “Ladder Diagram İmplementation of Cont- rol İnterpreted Petri Nets: A State Equation Approach” in Proceedings of The IFAC Conferences on Discrete-Event System De- sign, Spain, 2009, 85–90.
13. P. J. G. Ramadge and W. M. Wonham, “The Control of Discrete Event Systems,” Pro- ceeding of IEEE, Vol. 77, 81 – 98, 1989.
14. PLC Module 1-2: Stduent Guide, E & L Intruments Ltd. Wrexham, U.K., 2001.
15. R.S. Sreenivas, “On The Existence of Supervi- sory Policies That Enforce Liveness in Discrete-Event Dynamic Systems Modelled by Controlled Petri Nets,” IEEE Transacti- ons on Automatic Control, vol. 42, 928– 945, 1997.
16. T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceeding of IEEE, vol. 77, 541 – 580, 1989.
17. Y. Ho (Ed.), Discrete Event Dynamic Sys- tems:Analyzing Complexity and Perfor- mance in The Modern World, A Selected Reprint Volume, The Institute of Electrical and Electronics Engineers, Inc., New York, 1992.