Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits.

Marco A. Peña Jordi Cortadella

Published in: ASYNC (1996)

Keyphrases

petri net
asynchronous circuits
process algebra
colored petri nets
process model
petri net model
concurrent processes
model checking
state machines
fuzzy petri net
ims ld
delay insensitive
knowledge acquisition
temporal reasoning
manufacturing systems
reactive systems