Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach
Carlo BellettiniLorenzo CapraPublished in: CoRR (2011)
Keyphrases
- petri net
- reachability analysis
- markov decision processes
- model checking
- timed automata
- petri net model
- incremental algorithms
- manufacturing systems
- colored petri nets
- discrete event systems
- state space
- fuzzy petri net
- service composition
- ims ld
- state machines
- programmable logic controller
- sequence diagrams
- concurrent systems
- learning objects
- decision making
- learning algorithm
- real time