Petri nets: an application in digital circuits.
Shruti JainPradeep K. NaikSunil V. BhooshanPublished in: ICWET (2010)
Keyphrases
- digital circuits
- petri net
- discrete event systems
- petri net model
- model based diagnosis
- data flow
- manufacturing systems
- circuit design
- fuzzy petri net
- finite state machines
- colored petri nets
- service composition
- stochastic petri net
- functional decomposition
- state machines
- ims ld
- concurrent systems
- discrete dynamical systems
- low cost
- query language
- web services