Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems

被引：0
|
作者：
Lomazova, Irina A. [1 ]
机构：
[1] Center for Artificial Intelligence, Prog. Syst. Inst. Russ. Acad. Sci., Pereslavl-Zalessky 152140, Russia
来源：
Fundamenta Informaticae | 2000年 / 43卷 / 01期
关键词：
D O I：
10.3233/fi-2000-43123410
中图分类号：
学科分类号：
摘要：
Petri nets
引用
收藏
页码：195 / 214
相关论文
共 50 条
  • [1] A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS
    Chang, Lily
    He, Xudong
    Shatz, Sol M.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) : 891 - 925
  • [2] Plan specification of multi-agent based on Coloured Petri nets
    Du, Zhuomin
    He, Yanxiang
    20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS, 2006, : 912 - +
  • [3] Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
    Qasim, Awais
    Kazmi, Syed Asad Raza
    Fakhir, Ilyas
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2015, 15 (03) : 73 - 78
  • [4] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [5] On the formal specification and verification of multi-agent systems
    Fisher, M
    Wooldridge, M
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (01) : 37 - 65
  • [6] NORM SPECIFICATION AND VERIFICATION IN MULTI-AGENT SYSTEMS
    Alechina, Natasha
    Dastani, Mehdi
    Logan, Brian
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (02): : 457 - 489
  • [7] Study on Multi-agent Systems with Colored Petri Nets
    兰顺国
    李军
    科技信息, 2008, (20) : 609 - 610
  • [8] Multi-agent modeling of the learning process using nested colored Petri nets
    Gorbachenko, I. M.
    INTERNATIONAL SCIENTIFIC CONFERENCE ON APPLIED PHYSICS, INFORMATION TECHNOLOGIES AND ENGINEERING (APITECH-2019), 2019, 1399
  • [9] Compositional specification of a multi-agent system by stochastically and dynamically coloured Petri nets
    Everdij, Mariken H. C.
    Klompstra, Margriet B.
    Blom, Henk A. P.
    Obbink, Bart Klein
    STOCHASTIC HYBRID SYSTEMS: THEORY AND SAFETY CRITICAL APPLICATIONS, 2006, 337 : 325 - 350
  • [10] Specification of distributed systems using multi-level Petri nets
    Ramos, FF
    Zuñiga, F
    Alcala, A
    Piza, I
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 604 - 609
12345