Modular Reachability Analysis for Time Petri Nets with Guarded Transitions.
René K. BoelGeorge JiroveanuPublished in: ADHS (2003)
Keyphrases
- petri net
- reachability analysis
- markov decision processes
- model checking
- petri net model
- manufacturing systems
- incremental algorithms
- timed automata
- discrete event systems
- state space
- fuzzy petri net
- stochastic petri net
- ims ld
- real time
- concurrent systems
- colored petri nets
- concurrent processes
- programmable logic controller
- sequence diagrams
- service composition
- optimal policy
- search algorithm
- reinforcement learning