Dynamic Simulation and Modeling of a Novel NeuRaiSya for Railway Monitoring System Using Petri Nets

被引:1
|
作者
Deplomo, Bhai Nhuraisha I. [1 ,2 ]
Villaverde, Jocelyn F. [1 ,3 ]
Paglinawan, Arnold C. [1 ,3 ]
机构
[1] Mapua Univ, Sch Grad Studies, Manila 1002, Philippines
[2] Univ Makati, Coll Comp & Informat Sci CCIS, Makati 1215, Philippines
[3] Mapua Univ, Sch Elect Elect & Comp Engn, Manila 1002, Philippines
关键词
Petri nets; reachability graph; railway; modeling and simulation; GreatSPN;
D O I
10.3390/s24134095
中图分类号
O65 [分析化学];
学科分类号
070302 ; 081704 ;
摘要
This research introduces the NeuRaiSya (Neural Railway System Application), an innovative railway signaling system integrating deep learning for passenger analysis. The objectives of this research are to simulate the NeuRaiSya and evaluate its effectiveness using the GreatSPN tool (graphical editor for Petri nets). GreatSPN facilitates evaluations of system behavior, ensuring safety and efficiency. Five models were designed and simulated using the Petri nets model, including the Dynamics of Train Departure model, Train Operations with Passenger Counting model, Timestamp Data Collection model, Train Speed and Location model, and Train Related-Issues model. Through simulations and modeling using Petri nets, the study demonstrates the feasibility of the proposed NeuRaiSya system. The results highlight its potential in enhancing railway operations, ensuring passenger safety, and maintaining service quality amidst the evolving railway landscape in the Philippines.
引用
收藏
页数:19
相关论文
共 50 条
  • [41] Modeling Admission Control in OFDMA System Using Petri Nets
    Ma Yukun
    Lu Yanhui
    An Chunyan
    Yang Shouyi
    2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 955 - 958
  • [42] Modeling of a transmission network protection system using Petri nets
    Tang, JX
    Wang, FM
    ELECTRIC POWER SYSTEMS RESEARCH, 1998, 44 (03) : 175 - 181
  • [44] Hybrid modeling of power system using hybrid Petri nets
    Paruchuri, VK
    Davari, A
    Feliachi, A
    PROCEEDINGS OF THE THIRTY-SEVENTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2005, : 221 - 224
  • [45] Modeling and simulation of a complete semiconductor manufacturing facility using Petri nets
    Becker, M
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 153 - 156
  • [46] Modelling and simulating a Thai railway signalling system using Coloured Petri Nets
    Somsak Vanit-Anunchai
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 243 - 262
  • [47] Modeling and Analysis of Inventory System by Using Colored Petri Nets
    Lu, Xiaochun
    Liu, Dongyuan
    Ni, Zhiwei
    IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, : 1359 - 1364
  • [48] Modeling IMS Service Sharing System using Petri nets
    Kovacik, Tomas
    Flochova, Jana
    Holly, Jakub
    PROCEEDINGS ELMAR-2012, 2012, : 157 - 160
  • [49] Modeling a Manufacturing System by Using XML - Petri Nets Technology
    Pop, A.
    Blaga, F. S.
    Ursu, M. P.
    Bungau, C.
    Hule, V
    MODTECH INTERNATIONAL CONFERENCE - MODERN TECHNOLOGIES IN INDUSTRIAL ENGINEERING VIII, 2020, 916
  • [50] MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS
    Petrosyan, G. R.
    Ter-Vardanyan, L. A.
    Gaboutchian, A. V.
    PHOTOGRAMMETRIC TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE, 2015, 40-5 (W6): : 37 - 42