Real-time software online test method based on time petri net model

被引：0
|
作者：
Rao, Tingting [1 ]
Xiong, Caiquan [1 ]
Wang, Mingli [2 ]
机构：
[1] Hubei Univ Technol, Wuhan, Hubei, Peoples R China
[2] Huazhong Univ Sci & Technol, Wuhan, Hubei, Peoples R China
来源：
BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY | 2019年 / 125卷
基金：
中国国家自然科学基金;
关键词：
D O I：
暂无
中图分类号：
R9 [药学];
学科分类号：
1007 ;
摘要：
255
引用
收藏
页码：149 / 149
页数：1
相关论文
共 50 条
  • [21] Petri net based design of reconfigurable embedded real-time systems
    Rust, C
    Stappert, F
    Bernhardi-Grisson, R
    [J]. DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 41 - 50
  • [22] Hardware implementation of real-time Petri-net-based controllers
    Chang, N
    Kwon, WH
    Park, J
    [J]. CONTROL ENGINEERING PRACTICE, 1998, 6 (07) : 889 - 895
  • [23] Process Online Checking Model of Internetware Based on Time Petri Net
    Song, Min
    Wei, Zhengxian
    [J]. 2018 5TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE 2018), 2018, : 388 - 391
  • [24] Worst case execution time estimate for real-time system based on fuzzy Petri net
    Jin, Yongxian
    Li, Shuyu
    [J]. DCABES 2007 PROCEEDINGS, VOLS I AND II, 2007, : 274 - 277
  • [25] Colored Petri Net model with automatic parallelization on real-time multicore architectures
    Wang, Chao
    Feng, Xiaojing
    Li, Xi
    Zhou, Xuehai
    Chen, Peng
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (03) : 293 - 304
  • [26] A time-controlled Petri net model and deadlock detouring algorithm for real-time FMC control
    Kang, SH
    Kim, Y
    Lee, YC
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2000, 13 (06) : 533 - 544
  • [27] Real-time control for traffic signal based on fuzzy hybrid petri net
    [J]. Zhang, Z. (zhangzundong@gmail.com), 1600, Binary Information Press (10):
  • [28] A review of Petri Net based modeling and verification for embedded real-time systems
    zhang, Haitao
    Wang, Fei-Yue
    [J]. DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4, 2005, : 257 - 264
  • [29] S-NETS - A PETRI NET BASED MODEL FOR PERFORMANCE EVALUATION OF REAL-TIME SCHEDULING ALGORITHMS
    BALAJI, S
    PATNAIK, LM
    JENKINS, L
    GOEL, PS
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1992, 15 (03) : 225 - 237
  • [30] Verification of real-time system requirements: A Petri net approach
    Szpyrka, M
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 165 - 170
12345