Testable Design Verification Using Petri Nets.

Richard Ruzicka

Published in: DSD (2003)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
sequence diagrams
design process
neural network
cellular automata
formal methods
discrete event systems
state machines
fuzzy petri net