Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems

被引：0
|
作者：
Modica, Tony [1 ]
机构：
[1] Tech Univ Berlin, Integrated Grad Program Human Centr Commun, D-1000 Berlin, Germany
来源：
GRAPH TRANSFORMATIONS | 2010年 / 6372卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The aim of this PhD thesis is to use an extension of Petri nets and Petri net transformation systems called AHOI nets in order to allow formal modeling and analysis of communication platforms (CP) like Skype. In the following, we explain the main ideas of AHOI nets and discuss how they can be used to model features of Skype. We give an overview of results achieved so far and remaining open problems to be solved in this PhD thesis.
引用
收藏
页码：400 / 402
页数：3
相关论文
共 50 条
  • [1] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [2] Petri net based modeling and analysis of switched systems
    He, KX
    Lemmon, MD
    [J]. JOINT CONFERENCE ON THE SCIENCE AND TECHNOLOGY OF INTELLIGENT SYSTEMS, 1998, : 140 - 145
  • [3] Colored Petri Net Modeling of Communication Systems Based on IEC 61850
    da Silva, Milton Rafael
    Ferreira Machado, Pedro Henrique
    de Souza, Luiz Edival
    de Souza, Carlos Waldecir
    [J]. 2017 4TH INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2017, : 1001 - 1006
  • [4] Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol
    Boukredera, Djamila
    Maamri, Ramdane
    Aknine, Samir
    [J]. WEB INTELLIGENCE, 2016, 14 (03) : 245 - 271
  • [5] Petri net based modeling of hybrid systems
    Champagnat, R
    Esteban, P
    Pingaud, H
    Valette, R
    [J]. COMPUTERS IN INDUSTRY, 1998, 36 (1-2) : 139 - 146
  • [6] MODELING AND ANALYSIS OF COMMUNICATION AND COOPERATION PROTOCOLS USING PETRI NET BASED MODELS
    DIAZ, M
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06): : 419 - 441
  • [7] Modeling, analysis, and optimization of logistics systems Petri net based approaches
    Chen, Haoxun
    Labadi, Karim
    Amodeo, Lionel
    [J]. 2006 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2006, : 575 - 582
  • [8] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yuhai Yang
    Chongquan Zhong
    Xiaodong Liu
    Wei Lu
    [J]. International Journal of Control, Automation and Systems, 2023, 21 (9) : 2980 - 2994
  • [9] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yang, Yuhai
    Zhong, Chongquan
    Liu, Xiaodong
    Lu, Wei
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2023, 21 (09) : 2980 - 2994
  • [10] PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
    Ortega, Francisco R.
    Liu, Su
    Hernandez, Frank
    Barreto, Armando
    Rishe, Naphtali
    Adjouadi, Malek
    [J]. HUMAN-COMPUTER INTERACTION: THEORIES, METHODS, AND TOOLS, PT I, 2014, 8510 : 361 - 372
12345