On reachability analysis of multi agent nets

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Volumn E90-A, Issue 10, 2007, Pages 2257-2260

  Toshiyuki, Miyamoto ^a   Masaki, Sakamoto ^a   Sadatoshi, Kumagai ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

Multi agent; Object orientation; Petri nets; Reachability analysis

Indexed keywords

MODELING LANGUAGES; PETRI NETS;

COMPUTATIONAL EXPERIMENT; CONCURRENT AND DISTRIBUTED SYSTEMS; MULTI AGENT; OBJECT ORIENTATION; OBJECT-ORIENTED PETRI NET; REACHABILITY ANALYSIS;

MULTI AGENT SYSTEMS;

EID: 68249149394     PISSN: 09168508     EISSN: 17451337     Source Type: Journal    
DOI: 10.1093/ietfec/e90-a.10.2257     Document Type: Conference Paper

References (13)

1. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
2. T. Miyamoto and S. Kumagai, "A survey of object-oriented Petri nets and analysis methods," IEICE Trans. Fundamentals, vol. E88-A, no. 11, pp. 2964-2971, Nov. 2005.
3. T. Miyamoto and S. Kumagai, "A multi agent net model of autonomous distributed systems," Proc. CESA'96, Symp. on Discrete Events and Manufacturing Systems, pp. 619-623, 1996.
4. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. I, II, III, Springer Verlag, 1992, 1995, 1997.
5. R. Valk, "Petri nets as token objects - An introduction to elementary object nets," Proc. ICATPN'98, LNCS 1420, pp. 1-24, 1998.
6. T. Miyamoto and S. Kumagai, "A multi agent net model and the realization of software environment," Proc. Workshop of Petri Nets to intelligent system development in ICATPN'99, pp. 83-92, 1999.
7. T. Miyamoto, B. H. Krogh, and S. Kumagai, "Context-dependent agents for real-time scheduling in manufacturing systems," IEICE Trans. Fundamentals, vol. E85-A, no. 11, pp. 2407-2413, Nov. 2002.
8. T. Miyamoto, N. Tsujimoto, and S. Kumagai, "A cooperative algorithm for autonomous distributed vehicle systems with finite buffer capacity," IEICE Trans. Fundamentals, vol. E88-A, no. 11, pp. 3036-3044, Nov. 2005.
9. T. Miyamoto, S. Doi, H. Nogawa, and S. Kumagai, "Autonomous distributed secret sharing storage system," Systems and Computers in Japan, vol. 37, no. 6, pp. 53-63, 2006.
10. I. A. Lomazova and P. Schnoebelen, "Some decidability results for nested Petri nets," Proc. PSI'99, LNCS 1755, pp. 208-220, 2000.
11. S. Christensen and L. Petucci, "Modular analysis of Petri nets," The Comp. J., vol. 43, no. 3, pp. 224-242, 2000.
12. C. S.-Blanc, "Cooperative nets," Proc. ATPN'94, LNCS 815, pp. 471-490, 1994.
13. E. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, Cambridge, Massachusetts, 1999.