Modeling Fault Trees Using Petri Nets.

Janusz Górski Jan Magott Andrzej Wardzinski

Published in: SAFECOMP (1995)

Keyphrases

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