메뉴 건너뛰기




Volumn 4, Issue 10, 2009, Pages 981-996

Modeling and analysis of multi-agent systems using petri nets

Author keywords

Deadlock; Multi agent systems; Petri nets

Indexed keywords

COMPUTER ARCHITECTURE; DISCRETE EVENT SIMULATION; INTELLIGENT AGENTS; PETRI NETS; SOFTWARE AGENTS;

EID: 78649827634     PISSN: 1796203X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jcp.4.10.981-996     Document Type: Article
Times cited : (29)

References (31)
  • 1
    • 12844273622 scopus 로고    scopus 로고
    • Guest editors' introduction: Dependable agent systems
    • M. Greaves, V. Stavridou-Coleman, and R. Laddaga, "Guest editors' introduction: Dependable agent systems," IEEE Intelligent Systems, vol. 19, no. 5, pp. 20-23, 2004.
    • (2004) IEEE Intelligent Systems , vol.19 , Issue.5 , pp. 20-23
    • Greaves, M.1    Stavridou-Coleman, V.2    Laddaga, R.3
  • 8
    • 0032096675 scopus 로고    scopus 로고
    • Multiagent systems
    • K. P. Sycara, "Multiagent systems," AI Magazine, pp. 79-92, 1998.
    • (1998) AI Magazine , pp. 79-92
    • Sycara, K.P.1
  • 11
    • 0031124174 scopus 로고    scopus 로고
    • A petri net synthesis theory for modeling flexible manufacturing systems
    • April
    • M. D. Jeng, "A petri net synthesis theory for modeling flexible manufacturing systems," IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, vol. 27, no. 2, pp. 169-183, April 1997.
    • (1997) IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics , vol.27 , Issue.2 , pp. 169-183
    • Jeng, M.D.1
  • 12
    • 0026882077 scopus 로고
    • A hybrid methodology for synthesis of petri net models for manufacturing systems
    • M. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of petri net models for manufacturing systems," IEEE Transactions on Robotics and Automation, vol. 8, no. 3, pp. 350-361, 1992.
    • (1992) IEEE Transactions on Robotics and Automation , vol.8 , Issue.3 , pp. 350-361
    • Zhou, M.1    DiCesare, F.2    Desrochers, A.A.3
  • 13
    • 0027560257 scopus 로고
    • Petri net synthesis and analysis of a flexible manufacturing system cell
    • March
    • M. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell," IEEE Transactions on Systems, Man, and Cybernetics, vol. 23, no. 2, pp. 523-531, March 1993.
    • (1993) IEEE Transactions on Systems, Man, and Cybernetics , vol.23 , Issue.2 , pp. 523-531
    • Zhou, M.1    McDermott, K.2    Patel, P.A.3
  • 14
    • 0018699409 scopus 로고
    • Putting petri nets to work
    • December
    • T. Agerwala, "Putting petri nets to work," Computer, vol. 12, no. 2, pp. 85-94, December 1979.
    • (1979) Computer , vol.12 , Issue.2 , pp. 85-94
    • Agerwala, T.1
  • 15
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • April
    • T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, April 1989.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 16
    • 0026221547 scopus 로고
    • A predicate-transition net model for multiple agent planning
    • T. Murata, P. C. Nelson, and J. Yim, "A predicate-transition net model for multiple agent planning," Inf. Sci., vol. 57-58, pp. 361-384, 1991.
    • (1991) Inf. Sci. , vol.57-58 , pp. 361-384
    • Murata, T.1    Nelson, P.C.2    Yim, J.3
  • 17
    • 77953729901 scopus 로고    scopus 로고
    • Modeling and verifying multi-agent behaviors using predicate/transition nets
    • SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering. New York, NY, USA: ACM Press
    • D. Xu, R. Volz, T. Ioerger, and J. Yen, "Modeling and verifying multi-agent behaviors using predicate/transition nets," in SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering. New York, NY, USA: ACM Press, 2002, pp. 193-200.
    • (2002) , pp. 193-200
    • Xu, D.1    Volz, R.2    Ioerger, T.3    Yen, J.4
  • 18
    • 0344392140 scopus 로고    scopus 로고
    • Modeling of a multi-agent system for coordination of supply chains with complexity and uncertainty
    • J. Lee and M. Barley, Eds., 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003 Seoul, Korea. Springer-Verlag Berlin Heidelberg, November
    • H. J. Ahn and S. J. Park, "Modeling of a multi-agent system for coordination of supply chains with complexity and uncertainty," in Intelligent Agents and Multi-Agent Systems, ser. Lecture Notes in Computer Science, J. Lee and M. Barley, Eds., vol. 2891, 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003 Seoul, Korea. Springer-Verlag Berlin Heidelberg, November 2003, pp. 13-24.
    • (2003) Intelligent Agents and Multi-Agent Systems, ser. Lecture Notes in Computer Science , vol.2891 , pp. 13-24
    • Ahn, H.J.1    Park, S.J.2
  • 19
    • 84948990091 scopus 로고    scopus 로고
    • An approach to the formal specification of holonic control systems
    • V. Marík, D. McFarlane, and P. Valckenaers, Eds., First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 rague, Czech Republic, September 1-3, 2003. Springer Berlin / Heidelberg
    • P. Leitão, A. W. Colombo, and F. Restivo, "An approach to the formal specification of holonic control systems," in Holonic and Multi-Agent Systems for Manufacturing, ser. Lecture Notes in Computer Science, V. Marík, D. McFarlane, and P. Valckenaers, Eds., vol. 2744, First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 rague, Czech Republic, September 1-3, 2003. Springer Berlin / Heidelberg, 2004, pp. 59-70.
    • (2004) Holonic and Multi-Agent Systems for Manufacturing, ser. Lecture Notes in Computer Science , vol.2744 , pp. 59-70
    • Leitão, P.1    Colombo, A.W.2    Restivo, F.3
  • 20
    • 0242440097 scopus 로고    scopus 로고
    • Model and control holonic manufacturing systems based on fusion of contract nets and petri nets
    • F.-S. Hsieh, "Model and control holonic manufacturing systems based on fusion of contract nets and petri nets," Automatica, vol. 40, no. 1, pp. 51-57, 2004.
    • (2004) Automatica , vol.40 , Issue.1 , pp. 51-57
    • Hsieh, F.-S.1
  • 21
    • 12844280542 scopus 로고    scopus 로고
    • Design and evaluation of a fault-tolerant mobile-agent system
    • M. R. Lyu, X. Chen, and T. Y. Wong, "Design and evaluation of a fault-tolerant mobile-agent system," Intelligent Systems, vol. 19, no. 5, pp. 32-38, 2004.
    • (2004) Intelligent Systems , vol.19 , Issue.5 , pp. 32-38
    • Lyu, M.R.1    Chen, X.2    Wong, T.Y.3
  • 22
    • 12344313952 scopus 로고    scopus 로고
    • Agent survivability: An application for strong andweak chain constrained scheduling
    • in HICSS '04: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9. Washington, DC, USA: IEEE Computer Society, 90297.1
    • A. W. Krings, "Agent survivability: An application for strong andweak chain constrained scheduling," in HICSS '04: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9. Washington, DC, USA: IEEE Computer Society, 2004, p. 90297.1.
    • (2004)
    • Krings, A.W.1
  • 26
    • 9444270253 scopus 로고    scopus 로고
    • C. Tessier, L. Chaudron, and H.-J. Müller, Eds., Norwell, MA, USA: Kluwer Academic Publishers
    • C. Tessier, L. Chaudron, and H.-J. M̈uller, Eds., Conflicting agents: conflict management in multi-agent systems. Norwell, MA, USA: Kluwer Academic Publishers, 2001.
    • (2001) Conflicting Agents: Conflict Management in Multi-Agent Systems
  • 28


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.