Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.
Karsten StrehlLothar ThielePublished in: DATE (1999)
Keyphrases
- petri net
- symbolic model checking
- model checking
- formal verification
- partial observability
- fuzzy petri net
- colored petri nets
- symbolic representation
- discrete event systems
- web service composition
- service composition
- binary decision diagrams
- model checker
- temporal logic
- markov decision process
- sequence diagrams
- web services
- planning domains
- data analysis