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 条
  • [21] Model checking multi-agent systems with logic based Petri nets
    Behrens, Tristan M.
    Dix, Juergen
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (2-4) : 81 - 121
  • [22] Reasoning about Multi-Agent Systems Using Stochastic Petri Nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    TRENDS IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS AND SUSTAINABILITY: THE PAAMS COLLECTION, 2015, 372 : 75 - 86
  • [23] Model checking multi-agent systems with logic based Petri nets
    Tristan M. Behrens
    Jürgen Dix
    Annals of Mathematics and Artificial Intelligence, 2007, 51 : 81 - 121
  • [24] Distributed Nested Rotating Consensus Problem of Multi-agent Systems
    Lin, Peng
    Lu, Wanting
    Song, Yongduan
    26TH CHINESE CONTROL AND DECISION CONFERENCE (2014 CCDC), 2014, : 1785 - 1789
  • [25] Specification and verification of knowledge in a multi-agent system
    Bagic, Marina
    Ciglaric, Mojca
    PROCEEDINGS OF THE 16TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING, 2007, : 168 - +
  • [26] Specification and automatic verification of trust-based multi-agent systems
    Drawel, Nagat
    Qu, Hongyang
    Bentahar, Jamal
    Shakshuki, Elhadi
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 107 : 1047 - 1060
  • [27] Modeling dynamic objects in distributed systems with nested Petri nets
    Lomazova, IA
    FUNDAMENTA INFORMATICAE, 2002, 51 (1-2) : 121 - 133
  • [28] Analysis of multi-agent activity using petri nets
    Perse, Matej
    Kristan, Matej
    Pers, Janez
    Music, Gasper
    Vuckovic, Goran
    Kovacic, Stanislav
    PATTERN RECOGNITION, 2010, 43 (04) : 1491 - 1501
  • [29] A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets
    Chang, Lily
    He, Xudong
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2015, 25 (07) : 1199 - 1235
  • [30] Fault tolerant analysis of multi-agent manufacturing systems based on petri nets
    Hsieh, FS
    PROCEEDINGS OF THE IEEE-ISIE 2004, VOLS 1 AND 2, 2004, : 763 - 768
12345