Petri nets as a common tool for design verification and hardware simulation.

Pierre Azéma Robert Valette Michel Diaz

Published in: DAC (1976)

Keyphrases

petri net
colored petri nets
petri net model
sequence diagrams
discrete event systems
design process
embedded systems
real time
concurrent systems
model checking
hardware and software
ims ld
manufacturing systems
service composition
learning styles
knowledge based systems
knowledge representation