Railway modeling with object enhanced time Petri nets.

Mihai F. Enache Dahlia Al-Janabi Tiberiu S. Letia

Published in: AQTR (2018)

Keyphrases

petri net
colored petri nets
stochastic petri net
petri net model
discrete event systems
manufacturing systems
sequence diagrams
high level petri nets
fuzzy petri net
ims ld
state machines
embedded real time systems
process model
service composition
concurrent systems
reactive systems