Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets.

Lalit Kumar Singh Hitesh Rajput

Published in: IEEE Trans. Control. Syst. Technol. (2018)

Keyphrases

petri net
real time systems
safety critical
embedded systems
colored petri nets
real time
discrete event systems
safety analysis
embedded real time systems
cooperative
complex systems
fuzzy petri net
case study
service composition
petri net model