Acceleration of timing verification method based on time petri nets.
Tomohiro YonedaYoshihiro TohmaYutaka KondoPublished in: Systems and Computers in Japan (1991)
Keyphrases
- petri net
- verification method
- model checking
- temporal logic
- petri net model
- high level petri nets
- manufacturing systems
- discrete event systems
- service composition
- concurrent systems
- asynchronous circuits
- fuzzy petri net
- colored petri nets
- state machines
- ims ld
- stochastic petri net
- neural network
- programmable logic controller
- cellular automata