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 条
  • [31] A formal testing method for multi-agent systems using colored Petri nets
    Machado, Ricardo Arend
    Cardoso, Arthur da Silva Zelindro
    Farias, Giovani Parente
    Goncalves, Eder Mateus Nunes
    Adamatti, Diana Francisca
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2025, 39 (01)
  • [32] Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets
    Abadeh, Maryam Nooraee
    Zaminifar, Kamran
    Khayyambashi, Mohammad-Reza
    INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 6 - +
  • [33] Ad hoc systems management and specification with distributed Petri nets
    Sebastian Sosa, Juan
    Leger, Paul
    Fukuda, Hiroaki
    Cardozo, Nicolas
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2022, 169 : 117 - 129
  • [34] Tableau methods for formal verification of multi-agent distributed systems
    Massacci, F
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 373 - 400
  • [35] VERIFICATION OF ERROR RECOVERY SPECIFICATION FOR DISTRIBUTED DATA BY USING COLORED PETRI NETS
    AKATSU, M
    MURATA, T
    KURIHARA, K
    IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3159 - 3167
  • [36] Using nested graphs to distribute Parallel and Distributed Multi-Agent Systems
    Rousset, Alban
    Herrmann, Benedicte
    Lang, Christophe
    Philippe, Laurent
    Bride, Hadrien
    2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), 2016, : 710 - 717
  • [37] Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
    Boucherit, Ammar
    Khababa, Abdallah
    Castro, Laura M.
    MULTIAGENT AND GRID SYSTEMS, 2018, 14 (04) : 403 - 418
  • [38] Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets
    Daszczuk, Wiktor B.
    Zuberek, Wlodek M.
    ADVANCES IN DEPENDABILITY ENGINEERING OF COMPLEX SYSTEMS, 2018, 582 : 118 - 130
  • [39] FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS A Case Study
    Akhtar, Nadeem
    Le Guyadec, Yann
    Oquendo, Flavio
    ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 475 - +
  • [40] An Inspection Technique Proposal for the Verification of Requirements Specification Documents for Multi-Agent Systems
    Mendonca, Giovane D'Avila
    Araujo Guedes, Gilleanes Thorwald
    de Souza Filho, Iderli Pereira
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, 2022, : 257 - 264
12345