BRANCH TESTING OF CONCURRENT PROGRAMS USING PETRI NET MODELS

被引：0
|
作者：
HO, HF
CHEN, GH
KUO, TS
机构：
[1] NATL TAIWAN UNIV,DEPT ELECT ENGN,TAIPEI,TAIWAN
[2] NATL TAIWAN UNIV,DEPT COMP SCI & INFORMAT ENGN,TAIPEI,TAIWAN
来源：
COMPUTING SYSTEMS | 1990年 / 5卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：116 / 125
页数：10
相关论文
共 50 条
  • [21] Constructing Petri Net Models Using Genetic Search
    Reid, D. J.
    Mathematical and Computer Modelling (Oxford), 1998, 27 (08):
  • [22] An Overview of Maintenance Strategies Using Petri Net Models
    Hristoski, Ilija
    Dimovski, Tome
    NEW TECHNOLOGIES, DEVELOPMENT AND APPLICATION VI, VOL 1, 2023, 687 : 470 - 477
  • [23] Analysis of Petri net models using transitive matrix
    Song, YJ
    Lee, JK
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3122 - 3127
  • [24] The Diagnosability of Petri Net Models Using Minimal Explanations
    Jiroveanu, George
    Boel, Rene K.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (07) : 1663 - 1668
  • [25] Constructing Petri Net models using genetic search
    Reid, DJ
    MATHEMATICAL AND COMPUTER MODELLING, 1998, 27 (08) : 85 - 103
  • [26] An efficient path based equivalence checking for Petri net based models of programs
    Bandyopadhyay, Soumyadip
    Sarkar, Dipankar
    Mandal, Chittaranjan
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 70 - 79
  • [27] PETRI NET MODELS FOR THE EVALUATION OF APPLICATIVE PROGRAMS BASED ON LAMBDA-EXPRESSIONS
    KLUGE, WE
    SCHLUTTER, H
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (04) : 415 - 427
  • [28] SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY
    BEST, E
    DEVILLERS, R
    THEORETICAL COMPUTER SCIENCE, 1987, 55 (01) : 87 - 136
  • [29] A concurrent and compositional Petri net semantics of preemption
    Klaudel, H
    Pommereau, F
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 318 - 337
  • [30] A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks
    Teng, Yuanxiu
    Du, Yuyue
    Qi, Liang
    Luan, Wenjing
    IEEE ACCESS, 2019, 7 : 8266 - 8282
12345