Modular reachability analysis in fundamental class of multi-agent nets

IECON Proceedings (Industrial Electronics Conference)

Volumn , Issue , 2011, Pages 3782-3787

  Miyamoto, Toshiyuki ^a   Horiguchi, Kyota ^a  

^a OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODEL; MODULAR PETRI NETS; OBJECT-ORIENTED PETRI NET; REACHABILITY ANALYSIS; STATE SPACE; TRANSFORMATION RULES;

DISCRETE EVENT SIMULATION; INDUSTRIAL ELECTRONICS; PETRI NETS;

MULTI AGENT SYSTEMS;

EID: 84856514305     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2011.6119925     Document Type: Conference Paper

References (18)

1. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
2. M. A. Holliday and M. K. Vernon, "A generalized timed petri net model for performance analysis," IEEE Trans. Softw. Eng., vol. 13, no. 12, pp. 1297-1310, Dec. 1987.
3. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Volume 1), 2nd ed. Berlin: Springer Verlag, Apr. 1997.
4. W. Pedrycz and F. Gomide, "A generalized fuzzy petri net model," IEEE Trans. Fuzzy Syst., vol. 2, no. 4, pp. 295-301, Nov. 1994.
5. R. David and A. Hassane, Discrete, Continuous, and Hybrid Petri Nets, 2nd ed. Berlin: Springer Verlag, 2010.
6. R. Valk, "Petri nets as token objects - An Introduction to Elementary Object Nets," in Proc. Application and Theory of Petri Nets 1998, LNCS 1420, Jun. 1998, pp. 1-24.
7. K. Hiraishi, "A Petri-net-based model for the mathematical analysis of multi-agent systems," IEICE Trans. Fundamentals, vol. E84A, no. 11, pp. 2829-2837, Nov. 2001.
8. E. Battiston, F. DeCindio, and G. Mauri, "Objsa nets: a class of high-level nets having objects as domains," in Proc. Advances in Petri Nets 1988, LNCS 340, 1988, pp. 20-43.
9. D. Buchs and N. Guelfi, "CO-OPN: a concurrent object oriented petri net approach." in Proc. Application and Theory of Petri Nets, Jun. 1991, pp. 432-454.
10. C. Sibertin-Blanc, "Cooperative nets," in Proc. Application and Theory of Petri Nets 1994, LNCS 815, Jun. 1994, pp. 471-490.
11. C. Lakos, "From Coloured Petri Nets to Object Petri Nets," in Proc. Application and Theory of Petri Nets 1995, LNCS 935, Jun. 1995, pp. 278-297.
12. T. Miyamoto and S. Kumagai, "A multi-agent net model of autonomous distributed systems," in Proc. IMACS/IEEE-SMC Multiconference CESA'96, Symp. on Discrete Events and Manufacturing Systems, 1996, pp. 619-623.
13. -, "A survey of object-oriented Petri nets and analysis methods," IEICE Trans. Fundamentals, vol. E88-A, no. 11, pp. 2964-2971, Nov. 2005.
14. N. Mizuno, A. Ohta, and K. Tsuji, "Reachability Problem of Marked Graphs with Batch Processing Arcs," in Industrial Electronics Society, 2007. IECON 2007. 33rd Annual Conference of the IEEE, 2007, pp. 70-75.
15. M. Jiague, B. Fraikin, and R. St-Denis, "A reachability graph construction technique for supervisor synthesis with parameters," in Industrial Electronics, 2009. IECON '09. 35th Annual Conference of IEEE, 2009, pp. 4333-4340.
16. I. A. Lomazova and P. Schnoebelen, "Some decidability results for nested Petri nets," in Proc. Perspectives of System Informatics, LNCS 1755, 2000, pp. 208-220.
17. S. Christensen and L. Petrucci, "Modular analysis of Petri nets," The Computer Journal, vol. 43, no. 3, pp. 57-64, 2000.
18. R. Valk, "Relating Different Semantics for Object Petri Nets," Universitaet Hamburg, Universitaet Hamburg, Tech. Rep., Jun. 2000.