Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/10/01 Vol. E90-ANo. 10 ;
pp. 2257-2260 Type of Manuscript: Special Section LETTER (Special Section on Nonlinear Theory and its Applications) Category: Systems Theory and Control Keyword: Petri nets, multi-agent, object-orientation, reachability analysis,