Modeling and formal verification of dataflow graph in system-level design using Petri net.

Tsung-Hsi Chiang Lan-Rong Dung Ming-Feng Yaung

Published in: ISCAS (6) (2005)

Keyphrases

formal verification
petri net
colored petri nets
sequence diagrams
knowledge based systems
process model
model checking
design methodology
stochastic petri net
manufacturing systems
model checker
automated verification
artificial intelligence
graph theory
modeling language
fuzzy petri net