PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS

被引：0
|
作者：
DIAZ, M
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 255卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：135 / 170
页数：36
相关论文
共 50 条
  • [31] Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping
    Fonseca i Casas, Pau
    Lijia Hu, Daniel
    Guasch i Petit, Antoni
    Figueras i Jove, Jaume
    [J]. APPLIED SCIENCES-BASEL, 2020, 10 (04):
  • [32] WS-Net: A Petri-net based specification model for web services
    Zhang, J
    Chang, CK
    Chung, JY
    Kim, SW
    [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 420 - 427
  • [33] A Petri Net Model of Handshake Protocols
    Fossati, Luca
    Varacca, Daniele
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (03) : 59 - 76
  • [34] ALGEBRAIC SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
    KOOMEN, CJ
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (01) : 1 - 36
  • [35] A SPECIFICATION AND VERIFICATION TOOL FOR COMMUNICATION PROTOCOLS
    KAUR, H
    GRIER, JB
    CAMPBELL, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 234 - 241
  • [36] A PROTOCOL MODELING AND VERIFICATION APPROACH BASED ON A SPECIFICATION LANGUAGE AND PETRI NETS
    SUZUKI, T
    SHATZ, SM
    MURATA, T
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (05) : 523 - 536
  • [37] Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I:: Specification and design
    Feldmann, K
    Colombo, AW
    Schnur, C
    Stöckel, T
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (06) : 657 - 665
  • [38] Elimination of duplicate labels in Petri-net-based system specification
    Cheung, KS
    Chow, KO
    [J]. FIFTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - PROCEEDINGS, 2005, : 932 - 936
  • [39] PERFORMANCE ANALYSIS OF TIMED PETRI NET MODELS FOR COMMUNICATION PROTOCOLS - A METHODOLOGY AND A PACKAGE
    ELKARAKSY, MR
    NOUH, AS
    ALOBAIDAN, A
    [J]. COMPUTER COMMUNICATIONS, 1990, 13 (02) : 73 - 82
  • [40] Verification of embedded systems using a Petri net based representation
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. 13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 149 - 155
12345