Railway modeling with object enhanced time Petri nets

Enache, Mihail; Al-Janabi, Dahlia; Leţia, Tiberiu

doi:10.1109/aqtr.2018.8402744

Cited by 5 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…OETPNs are used for modeling a railway system with highspeed trains. This model is suited to design and analyze the resilience of railway systems [12]. Definition 2.…”

Section: Petri Nets and Their Types And Applicationsmentioning

confidence: 99%

See 1 more Smart Citation

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

Deplomo,

Villaverde,

Paglinawan

2024

Sensors

View full text Add to dashboard Cite

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.

show abstract

“…OETPNs are used for modeling a railway system with highspeed trains. This model is suited to design and analyze the resilience of railway systems [12]. Definition 2.…”

Section: Petri Nets and Their Types And Applicationsmentioning

confidence: 99%

“…In CPNs, algebraic expressions based on tuples are used to define conditions and actions associated with transitions. It has a nine tuple CPN = (P, T, A, Σ, V, C, G, E, I), where [11,12]: (a) P is a finite set of places. (b) T is a finite set of transitions such that P ∩ T = ϕ.…”

Section: Petri Nets and Their Types And Applicationsmentioning

confidence: 99%