SYMBOLIC EXECUTION OF CONCURRENT SYSTEMS USING PETRI NETS

被引：5
|
作者：
GHEZZI, C [1 ]
MANDRIOLI, D [1 ]
MORASCA, S [1 ]
PEZZE, M [1 ]
机构：
[1] CEFRIEL,POLITECN MILANO,I-20100 MILAN,ITALY
来源：
COMPUTER LANGUAGES | 1989年 / 14卷 / 04期
关键词：
D O I：
10.1016/0096-0551(89)90023-4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：263 / 281
页数：19
相关论文
共 50 条
  • [1] Time supervision of concurrent systems using symbolic unfoldings of time Petri nets
    Chatain, T
    Jard, C
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 196 - 210
  • [2] PERFORMANCE EVALUATION OF CONCURRENT SYSTEMS USING PETRI NETS
    MAGOTT, J
    [J]. INFORMATION PROCESSING LETTERS, 1984, 18 (01) : 7 - 13
  • [3] Interactive verification of concurrent systems using symbolic execution
    Baeumler, Simon
    Balser, Michael
    Nafz, Florian
    Reif, Wolfgang
    Schellhorn, Gerhard
    [J]. AI COMMUNICATIONS, 2010, 23 (2-3) : 285 - 307
  • [4] Petri Nets for Systems Concurrent Engineering
    Garbi, Giuliani Paulineli
    Loureiro, Geilson
    [J]. IMPROVING COMPLEX SYSTEMS TODAY, 2011, : 75 - 82
  • [5] Verifying concurrent systems with symbolic execution
    Balser, Michael
    Duelli, Christoph
    Reif, Wolfgang
    Schellhorn, Gerhard
    [J]. Journal of Logic and Computation, 2002, 12 (04) : 549 - 560
  • [6] PERFORMANCE EVALUATION OF ASYNCHRONOUS CONCURRENT SYSTEMS USING PETRI NETS
    RAMAMOORTHY, CV
    HO, GS
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) : 440 - 449
  • [7] Petri nets compressibility and capacity of concurrent systems
    Gurjao, EC
    de Assis, FM
    Perkusich, A
    Pimentel, C
    [J]. 2003 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, 2003, : 250 - 250
  • [8] Efficient analysis of concurrent systems by Petri nets
    Hiraishi, K
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1998, 81 (09): : 29 - 36
  • [9] Temporal Petri nets model of concurrent systems
    Ding, ZJ
    Jiang, CJ
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2002, 17 (06): : 353 - 358
  • [10] Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
    Kristensen, Lars Michael
    Jensen, Kurt
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I, 2008, 5100 : 19 - 34
12345