Symbolic model checking of Dual Transition Petri Nets.
Mauricio VareaBashir M. Al-HashimiLuis Alejandro CortésPetru ElesZebo PengPublished in: CODES (2002)
Keyphrases
- petri net
- symbolic model checking
- model checking
- partial observability
- formal verification
- discrete event systems
- petri net model
- binary decision diagrams
- web service composition
- fuzzy petri net
- symbolic representation
- model checker
- colored petri nets
- temporal logic
- service composition
- stochastic petri net
- formal specification
- rough sets
- artificial intelligence
- data mining