Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets.

Yike Li Yin Tong Marco Demuro Alessandro Giua

Published in: ATAED/PN4TT@Petri Nets (2023)

Keyphrases

petri net
high speed
petri net model
discrete event systems
manufacturing systems
ims ld
colored petri nets
real time
fuzzy petri net
stochastic petri net
state machines
programmable logic controller
test cases
concurrent systems
service composition
discrete dynamical systems
decision making