Model-Based Safety Assessment Using OCL and Petri Nets.

Ricardo J. Rodríguez Elena Gómez-Martínez

Published in: EUROMICRO-SEAA (2014)

Keyphrases

petri net
sequence diagrams
discrete event systems
petri net model
colored petri nets
manufacturing systems
fuzzy petri net
service composition
ims ld
state machines
discrete dynamical systems
knowledge acquisition
process model
concurrent systems
stochastic petri net
concurrent processes