Automatic verification of speed-independent circuits with Petri net specifications.
David L. DillSteven M. NowickRobert F. SproullPublished in: ICCD (1989)
Keyphrases
- petri net
- delay insensitive
- high speed
- concurrent systems
- petri net model
- manufacturing systems
- reactive systems
- embedded real time systems
- discrete event systems
- high level petri nets
- colored petri nets
- asynchronous circuits
- stochastic petri net
- web service composition
- ims ld
- service composition
- web services
- artificial intelligence
- formal specification
- fuzzy petri net
- fuzzy sets
- fuzzy logic
- learning environment
- story generation