A formal approach for modeling and testing agent interactions using Recursive Colored Petri Nets

被引：0
|
作者：
Kissoum, Yacine [1 ]
Sahnoun, Zaidi [2 ]
Barkaoui, Kamel [3 ]
机构：
[1] Département d'Informatique, Skikda University, Skikda 21000, Algeria
[2] Lire Laboratory, Mentouri University, Constantine 25000, Algeria
[3] CNAM-Paris, 292, Rue St Martin 75141 Cedex 03, Paris, France
来源：
Recent Patents on Computer Science | 2010年 / 3卷 / 01期
关键词：
D O I：
10.2174/1874479611003010039
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：39 / 53
相关论文
共 50 条
  • [1] Formal Modeling and Analysis of SIP Using Colored Petri Nets
    Bai, Yunli
    Ye, Xinming
    Ma, Yuanfei
    [J]. 2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
  • [2] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    [J]. ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [3] Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
    Ahmad, Farooq
    Chaudhry, Muhammad Tayyab
    Jamal, Muhammad Hasan
    Sohail, Muhammad Amar
    Gavilanes, Daniel
    Masias Vergara, Manuel
    Ashraf, Imran
    [J]. PLOS ONE, 2023, 18 (08):
  • [4] Modeling of railway nets with colored Petri nets
    Paliulis, E
    Pranevicius, H
    [J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
  • [5] Multi-agent modeling of the learning process using nested colored Petri nets
    Gorbachenko, I. M.
    [J]. INTERNATIONAL SCIENTIFIC CONFERENCE ON APPLIED PHYSICS, INFORMATION TECHNOLOGIES AND ENGINEERING (APITECH-2019), 2019, 1399
  • [6] Formal Modeling and Improvement in the Random Path Routing Network Scheme Using Colored Petri Nets
    Farooq, Muhammad Shoaib
    Idrees, Muhammad
    Rehman, Attique Ur
    Khan, Muhammad Zubair
    Abunadi, Ibrahim
    Assam, Muhammad
    Althobaiti, Maha M.
    Al-Wesabi, Fahd N.
    [J]. APPLIED SCIENCES-BASEL, 2022, 12 (03):
  • [7] Flexible Negotiation Modeling by Using Colored Petri Nets
    Bai, Quan
    Zhang, Minjie
    Sim, Kwang Mong
    [J]. JOURNAL OF INFORMATION TECHNOLOGY RESEARCH, 2009, 2 (03) : 1 - 16
  • [8] Modeling Software Contention Using Colored Petri Nets
    Roy, Nilabja
    Dabholkar, Akshay
    Hamm, Nathan
    Dowdy, Larry
    Schmidt, Douglas
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2008, : 243 - 250
  • [9] Using Colored Petri Nets for GPGPU Performance Modeling
    Madougou, Souley
    Varbanescu, Ana Lucia
    de Laat, Cees
    [J]. PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS (CF'16), 2016, : 240 - 249
  • [10] Modeling Agent Periodic Routines in Agent-based Social Simulation using Colored Petri Nets
    Silva, Carlos
    Goncalves, Eder
    Dimuro, Gracaliz
    Dimuro, Glenda
    de Manuel Jerez, Esteban
    [J]. 2013 1ST BRICS COUNTRIES CONGRESS ON COMPUTATIONAL INTELLIGENCE AND 11TH BRAZILIAN CONGRESS ON COMPUTATIONAL INTELLIGENCE (BRICS-CCI & CBIC), 2013, : 644 - 650
12345