The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems.
Alex KondratyevMichael KishinevskyAlexander TaubinJordi CortadellaLuciano LavagnoPublished in: J. Circuits Syst. Comput. (1998)
Keyphrases
- asynchronous circuits
- petri net
- process algebra
- discrete event systems
- petri net model
- model checking
- delay insensitive
- formal methods
- concurrent systems
- manufacturing systems
- knowledge based systems
- web service composition
- colored petri nets
- embedded systems
- complex systems
- design process
- distributed systems
- fuzzy petri net
- holonic manufacturing systems