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 条
  • [31] Modeling and analysis of a testing system using Hybrid Petri Net
    Zhan Huiqin
    Gu Jun
    Xi Youbao
    Liu Wei
    ICEMI 2007: PROCEEDINGS OF 2007 8TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL I, 2007, : 465 - 470
  • [32] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [33] Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers
    Lorenz, Robert
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 49 - 76
  • [34] A Path-based Equivalence Checking Method for Petri Net based Models of Programs
    Bandyopadhyay, Soumyadip
    Sarkar, Dipankar
    Banerjee, Kunal
    Mandal, Chittaranjan
    2015 10TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), VOL 1, 2015, : 319 - 329
  • [35] Distributed fault diagnosis using petri net reduced models
    Arámburo-Lizárraga, J
    López-Mellado, E
    Ramírez-Treviño, A
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 702 - 707
  • [36] Logical inference of clauses in Petri net models using fixpoint
    State Information Cent, Beijing, China
    Ruan Jian Xue Bao, 4 (359-365):
  • [37] Highway Traffic Modeling Using Probabilistic Petri Net Models
    Ruan, Keyu
    Li, Lingxi
    Chen, Yaobin
    2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2020,
  • [38] Sequential failure analysis using counters of Petri net models
    Adamyan, A
    He, D
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2003, 33 (01): : 1 - 11
  • [39] Deadlock recovery of Petri net models controlled using observers
    Basile, F
    Chiacchio, P
    Giua, A
    Seatzu, C
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 441 - 449
  • [40] Modelling biological processes using workflow and Petri Net models
    Peleg, M
    Yeh, I
    Altman, RB
    BIOINFORMATICS, 2002, 18 (06) : 825 - 837
12345