Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/11/01 Vol. E88-ANo. 11 ;
pp. 2964-2971 Type of Manuscript: INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: Keyword: Petri nets, object orientation, multi-agent systems, reachability problem, distributed systems, formal model,
A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems Kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-ANo. 11 ;
pp. 2829-2837 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri net, multi-agent system, object orientation, agent orientation, mobile agent,