SAT-Based Verification of Safe Petri Nets.
Shougo OgataTatsuhiro TsuchiyaTohru KikunoPublished in: ATVA (2004)
Keyphrases
- petri net
- petri net model
- bounded model checking
- colored petri nets
- concurrent systems
- model checking
- discrete event systems
- formal verification
- service composition
- manufacturing systems
- neural network
- fuzzy petri net
- web service composition
- ims ld
- discrete dynamical systems
- stochastic petri net
- formal methods
- hardware and software
- sat solvers
- temporal logic
- sequence diagrams
- state machines
- production process
- low cost
- knowledge base