Modular Reachability Analysis of Petri Nets for Multiagent Systems. - Toshiyuki Miyamoto; Kyota Horiguchi (IEEE Trans. Syst. Man Cybern. Syst., 2013)