Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.
Carlo BellettiniLorenzo CapraPublished in: SYNASC (2011)
Keyphrases
- petri net
- reachability analysis
- markov decision processes
- model checking
- incremental algorithms
- discrete event systems
- timed automata
- petri net model
- colored petri nets
- manufacturing systems
- state machines
- fuzzy petri net
- ims ld
- stochastic petri net
- state space
- test suite
- service composition
- machine learning
- theorem prover