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 条
  • [41] AN EVALUATION OF MPLS EFFICACY USING COLORED PETRI NET MODELS
    Zaitsev, Dmitry
    Sakun, Alekscy
    MESM '2006: 9TH MIDDLE EASTERN SIMULATION MULTICONFERENCE, 2008, : 31 - 35
  • [42] B-FAIRNESS AND STRUCTURAL B-FAIRNESS IN PETRI NET MODELS OF CONCURRENT SYSTEMS
    SILVA, M
    MURATA, T
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1992, 44 (03) : 447 - 477
  • [43] On properties of concurrent system based on Petri net language
    Jiang, Chang-Jun
    Lu, Wei-Ming
    Ruan Jian Xue Bao/Journal of Software, 2001, 12 (04): : 512 - 520
  • [44] Consistency algorithm based on Petri net for concurrent design
    Chen, M
    Yin, YX
    Tu, XY
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 1067 - 1070
  • [45] Reachability testing of concurrent programs
    Lei, Yu
    Carver, Richard H.
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 382 - 403
  • [46] REPLAY AND TESTING FOR CONCURRENT PROGRAMS
    CARVER, RH
    TAI, KC
    IEEE SOFTWARE, 1991, 8 (02) : 66 - 74
  • [47] STRUCTURAL TESTING OF CONCURRENT PROGRAMS
    TAYLOR, RN
    LEVINE, DL
    KELLY, CD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (03) : 206 - 215
  • [48] Testing of Asynchronous Circuit using Time Petri-Net Specification
    Phurat, Tawan
    Thongtak, Arthit
    ECTI-CON 2008: PROCEEDINGS OF THE 2008 5TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING/ELECTRONICS, COMPUTER, TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2008, : 693 - 696
  • [49] Mapping Petri nets to concurrent programs in CC++
    North Dakota State Univ, Fargo, United States
    Inf Software Technol, 7 (485-495):
  • [50] Decision tables in Petri net models
    Szpyrka, Marcin
    Szmuc, Tomasz
    ROUGH SETS AND INTELLIGENT SYSTEMS PARADIGMS, PROCEEDINGS, 2007, 4585 : 648 - +
12345