Automatic translation of time Petri Nets into Estelle description

被引：0
|
作者：
机构：
来源：
| 1600年 / Publ by Elsevier Science Publishers B.V., Amsterdam, Neth卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Verification of Estelle-specified communication protocols using high-level Petri nets
    Nepomniaschy, VA
    Alekseev, GI
    Bystrov, AV
    Myl'nikov, SP
    Okunishnikova, EV
    Chubarev, PA
    Churina, TG
    PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (02) : 58 - 68
  • [42] DaGen: A tool for automatic translation from DAML-S to high-level Petri nets
    Moldt, D
    Ortmann, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 209 - 213
  • [43] A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets
    Meyer, Roland
    Khomenko, Victor
    Huechting, Reiner
    CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 440 - 455
  • [44] A POLYNOMIAL TRANSLATION OF π-CALCULUS FCPS TO SAFE PETRI NETS
    Khomenko, Victor
    Meyer, Roland
    Huechting, Reiner
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (03)
  • [45] Description and Validation of Communication Protocols by Petri Nets.
    Accarino, N.
    Rossi, C.
    Trigila, S.
    Note, recensioni, notizie, 1981, 30 (02): : 49 - 65
  • [46] Formal description of CSCW using extended Petri nets
    Shen, J
    Luo, JZ
    Gu, GQ
    PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1997, : 278 - 281
  • [47] Fault diagnosis for Time Petri Nets
    Jiroveanu, George
    Boel, Rene K.
    De Schutter, Bart
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 313 - +
  • [48] STRUCTURAL DESCRIPTION OF THE HUMAN EYE USING PETRI NETS
    GERHARD, E
    WIPPICH, K
    BIOMEDIZINISCHE TECHNIK, 1991, 36 (04): : 66 - 69
  • [49] Identification of labeled Time Petri nets
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 478 - 485
  • [50] Interval analysis of time Petri nets
    Lima, Evangivaldo A.
    Luders, Ricardo
    Kunzle, Luis Allan
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 51 - 58
12345