Comment/correction: dependability modeling using Petri nets.

Klaus Bänsch Axel Hein Manish Malhotra Kishor S. Trivedi

Published in: IEEE Trans. Reliab. (1996)

Keyphrases

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