Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets.

Mustafa Seçkin Durmus Ugur Yildirim Mehmet Turan Söylemez

Published in: WODES (2012)

Keyphrases

petri net
manufacturing systems
discrete event systems
knowledge acquisition
software architecture
design methodology
sequence diagrams
concurrent systems
fuzzy petri net
low cost
service composition
petri net model