Design of the Safety Control Logic for Railway Stations Based on Petri Nets.

Yike Li Yin Tong Jin Guo

Published in: CAA SAFEPROCESS (2019)

Keyphrases

petri net
programmable logic controller
manufacturing systems
design process
discrete event systems
sequence diagrams
state machines
knowledge based systems
embedded systems