Reachability analysis in T-invariant-less Petri nets.
Alexander E. KostinPublished in: IEEE Trans. Autom. Control. (2003)
Keyphrases
- petri net
- reachability analysis
- model checking
- markov decision processes
- petri net model
- incremental algorithms
- discrete event systems
- timed automata
- fuzzy petri net
- manufacturing systems
- colored petri nets
- state space
- state machines
- stochastic petri net
- hardware and software
- concurrent systems
- ims ld
- machine learning
- knowledge representation
- expert systems
- reinforcement learning
- artificial intelligence