Modular Reachability Analysis of Petri Nets for Multiagent Systems.
Toshiyuki MiyamotoKyota HoriguchiPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2013)
Keyphrases
- multiagent systems
- petri net
- reachability analysis
- markov decision processes
- model checking
- multi agent
- timed automata
- petri net model
- incremental algorithms
- discrete event systems
- colored petri nets
- state space
- multi agent systems
- service composition
- fuzzy petri net
- reinforcement learning
- artificial intelligence
- stochastic petri net
- programmable logic controller
- design methodologies
- fuzzy logic
- finite state