• 대한전기학회
Mobile QR Code QR CODE : The Transactions of the Korean Institute of Electrical Engineers
  • COPE
  • kcse
  • 한국과학기술단체총연합회
  • 한국학술지인용색인
  • Scopus
  • crossref
  • orcid
The Transactions of the Korean Institute of Electrical Engineers

The Transactions of the Korean Institute of Electrical Engineers

ISO Journal TitleTrans. Korean. Inst. Elect. Eng.
SCImago Journal & Country Rank

Journal Search

  1. Home
  2. Archive
  3. 2023-11 (Vol.72 No.11)
  4. 10.5370/KIEE.2023.72.11.1575
XML PDF INFO REF

References

1 
James L. Peterson, 1981, Petri Net Theory And The Modeling of System, Prentice HallGoogle Search
2 
Jin Ahn, Jongwoo Lee, 2017, Study on Z specification for S/W Safety of Computer Based Interlocking Systems, Journal of the Korean Society for Railway, Vol. 20, No. 1, pp. 55-63DOI
3 
李基範, 李振秀, Automation, The Integrated Petri Net combining the discrete event system modeling with the operating PLC modeling, International Journal of Control, Automation and Systems, Vol. 5, No. 4, pp. 29-41Google Search
4 
Sung Hak Kong, Il Hong Suh, 2005, Design of A Petrinet- based Supervisory Control System, THE TRANSACTION OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS D, Vol. 54d, No. 8, pp. 486-494Google Search
5 
Murat Uzam, 2009, Asynchronous implementation of discrete event controllers based on safe automation Petri nets, The International Journal of Advanced Manufacturing Technology, Vol. 41, No. 4, pp. 595-612Google Search
6 
Mustafa Seckin Durmus(2011), Synchronizing Automata and Petri Net Controllers, ELECO 2011 7th International Conference on Electrical and Electronics Engineering, INSPEC 12495781Google Search
7 
Moonkun Lee, 2017, Formal Methods, Jeonbuk National UniversityGoogle Search
8 
2019, ISO/IEC 15909-1:2019, Systems and software engineering -High-level Petri nets - Part 1: Concepts, definitions and graphical notationGoogle Search
9 
2011, ISO/IEC 15909-2:2011, Systems and software engineering - High-level Petri nets - Part 2: Transfer formatGoogle Search
10 
2021, ISO/IEC 15909-3:2021, Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanismsGoogle Search
11 
2023.09.14, https://rail-research.europa.eu/research-development/ip2/Google Search
12 
S. Einer, R. Slovak, E. Schneider, 2000, Modeling Train control systems with Petrinets, IEEE Int. Conf. on Systems, Man and Cybernetics, Vol. 4, pp. 3207-3211DOI
13 
J. Zhang, X. Wang, Z. Xie, 2020, An Improved Automation Petri Net Modeling Method for Train Dispatching SystemGoogle Search
14 
Ricci Stefano , 2009, The use of Petri Nets models in railway traffic applications, IFAC Proceedings Volumes, pp. 151-156DOI
15 
S. H. Kong, I. H. Suh, 2005, Design of A Petrinet- based Supervisory Control System, KIEE 54D(8), 486-494Google Search
16 
Heejin Lee, Jongwoo Lee, 2021, A Study on A Modelling ion for Railway Interlocking Systems using Sets, Journal of the Korean Society for Railway, Vol. 24, No. 5, pp. 449-460Google Search