SavedAdd your journal

Journals / Anadolu Üniversitesi Bilim ve Teknoloji Dergisi :A-Uygulamalı Bilimler ve Mühendislik / 2013 / Cilt: 14 - Sayı: 1

FORRBIDDEN STATE APPROACH FOR PETRI NETS USIGN PLC

PETRI AĞLARI İÇİN PLC KULLANARAK YASAKLANMIŞ DURUM KONTROLÜ

Elif AYBAR
Aydın AYBAR
Pages
67–74
Publication Date
2022-10-11
DOI
—
🏛️Bibliographic metadata and full text access for this article are provided via DergiPark.
DergiPark Record ↗
✨

AI Summary & Key Takeaways

AI Insight
⚡ TL;DR(Too Long; Didn't Read)

Consequently, the occurence of theforbidden states is avoided in the considered Petri net by the developed method.

📌 3 Key Takeaways

🎯
Objective & Hypothesis:In this work, the forbidden state controller design approach is considered to realize by using PLCfor Petri nets.
📊
Key Findings & Data:First, the structure of the ordinary Petri nets is transfer to the ladder diagram form ofPLC, a controller design for the forbidden states, the controlled ladder diagram is obtained such thatinformation about the marking vector and the disabled transition, which are obtained by using the de- signed controller.
💡
Conclusion & Impact:Consequently, the occurence of theforbidden states is avoided in the considered Petri net by the developed method.
🔬Design:Research Article
📍Scope:Comprehensive Sample
⚙️Variables:Domain Parameters

Abstract

In this work, the forbidden state controller design approach is considered to realize by using PLCfor Petri nets. First, the structure of the ordinary Petri nets is transfer to the ladder diagram form ofPLC, a controller design for the forbidden states, the controlled ladder diagram is obtained such thatinformation 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 containson the state and disabled transition, is added to the ladder diagram. In addition, the algorithm and stepsare also given to add the designed controller to the ladder diagram. Consequently, the occurence of theforbidden states is avoided in the considered Petri net by the developed method.

Özet

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

🔖

Cite This Article

AYBAR, E., AYBAR, A. (2022). FORRBIDDEN STATE APPROACH FOR PETRI NETS USIGN PLC. Anadolu Üniversitesi Bilim ve Teknoloji Dergisi :A-Uygulamalı Bilimler ve Mühendislik, Cilt: 14 - Sayı: 1, 67–74. https://ajindex.com/articles/438396

📄 Full Text PDF Viewer

📄

PDF görüntüleyici hazırlanıyor...

References (5)

  1. A. Aybar and A. İftar, “Overlapping Decompo- sitions and Expansions of Petri Nets,” IEEE Transactionson Automatic Control, vol. 47, 511– 515, 2002. 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. A. Aybar and A. İftar, “Centralized and D ecen- tralized Supervisory Controller Design to Enforce Boundedness, Liveness, and Rever- sibility in Petri Nets,” International Journal of Control, vol. 78,– 553, 2005. 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. A. Giua and F. DiCesare, “Blocking and Con- trollability of Petri Nets in Supervisory control,” IEEE Transactions on Automatic Control, Vol. 39, 818– 823, 1994.
  2. A. H. Jones, M.Uzam, A.H. Khan, D.Karimzadgan, and S.B. Kenway, “A G e- neral Methodology for Converting Petri Nets in to Ladder Logic The Tpll Methodo- logy,” in Proceedings of the 5th Internatio- nal Conference on Computer Integrated Manufacturing and Automation Techno- logy, France, 1996, 357– 362. A. H. Jones, M.Uzam, and N.AJlouni, “Design o f 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. 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.
  3. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Acade- mic, Norwell, MA, 1999. E. Aybar, and A. Aybar, “A Simulation Algo- rithm for Real Systems using Petri Nets,” Wseas Transaction on Systems, Vol. 6, 1324 – 1328, 2007. 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.
  4. 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.
  5. 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,