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 条
  • [41] Logic-based specification and verification of homogeneous dynamic multi-agent systems
    Riccardo De Masellis
    Valentin Goranko
    Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [42] Logic-based specification and verification of homogeneous dynamic multi-agent systems
    De Masellis, Riccardo
    Goranko, Valentin
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
  • [43] Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets
    Flores-Geronimo, M.
    Hernandez-Martinez, E.G.
    Ferreira-Vazquez, E.D.
    Flores-Godoy, J.J.
    Fernandez-Anaya, G.
    2018 20th Congreso Mexicano de Robotica, COMRob 2018, 2019,
  • [44] A Hybrid Representation of Urban Traffic Networks using Multi-agent Systems and Petri Nets
    Flores-Geronimo, M.
    Hernandez-Martinez, E. G.
    Ferreira-Vazquez, E. D.
    Flores-Godoy, J. J.
    Fernandez-Anaya, G.
    2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), 2019, : 1562 - 1567
  • [45] Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets
    Flores-Geronimo, M.
    Hernandez-Martinez, E. G.
    Ferreira-Vazquez, E. D.
    Flores-Godoy, J. J.
    Fernandez-Anaya, G.
    2018 XX CONGRESO MEXICANO DE ROBOTICA (COMROB), 2018,
  • [46] A multi-agent based environment to aid in the design of Petri nets based software systems
    Costa, ED
    Perkusich, A
    de Figueiredo, JCA
    SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 253 - 260
  • [47] Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets
    Figat, Maksym
    Zielinski, Cezary
    2019 INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2019, : 3363 - 3369
  • [48] Nested Petri nets: Multi-level and recursive systems
    Lomazova, IA
    FUNDAMENTA INFORMATICAE, 2001, 47 (3-4) : 283 - 293
  • [49] Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems
    Kouah, Sofia
    Saidouni, Djamel Eddine
    Kitouni, Ilham
    INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2016, 12 (01) : 63 - 94
  • [50] Specification and verification of reconfigurable multi-agent system architectures
    Dib, Ahmed Taki Eddine
    Barkaoui, Kamel
    Sahnoun, Zaidi
    MULTIAGENT AND GRID SYSTEMS, 2016, 12 (02) : 105 - 124
12345