SPECIFICATION AND VALIDATION OF REAL-TIME SYSTEMS BY MEANS OF PETRI QUEUE NETS

被引：0
|
作者：
MARTIN, R
MEMMI, G
机构：
来源：
REVUE TECHNIQUE THOMSON-CSF | 1981年 / 13卷 / 03期
关键词：
Compendex;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
COMPUTER SYSTEMS PROGRAMMING
引用
收藏
页码：635 / 653
页数：19
相关论文
共 50 条
  • [1] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
  • [2] Specification and analysis of real-time systems using csp and petri nets
    Kavi, KM
    Sheldon, FT
    Reed, S
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248
  • [3] THE SPECIFICATION AND DESIGN OF HARD REAL-TIME SYSTEMS USING TIMED AND TEMPORAL PETRI NETS
    SAGOO, JS
    HOLDING, DJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 389 - 396
  • [4] Time window specification and validation with Petri nets
    Simon, CD
    Pascal, Y
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 232 - 237
  • [5] Compositional specification of real time embedded systems by priority time Petri Nets
    Mahfoudhi, Adel
    Kacem, Yessine Hadj
    Karamti, Walid
    Abid, Mohamed
    [J]. JOURNAL OF SUPERCOMPUTING, 2012, 59 (03): : 1478 - 1503
  • [6] Compositional specification of real time embedded systems by priority time Petri Nets
    Adel Mahfoudhi
    Yessine Hadj Kacem
    Walid Karamti
    Mohamed Abid
    [J]. The Journal of Supercomputing, 2012, 59 : 1478 - 1503
  • [7] Teaching Real-Time Systems using Petri nets
    Letia, TS
    Gruita, C
    [J]. REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 49 - 56
  • [8] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    [J]. Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [9] Schedulability verification of real-time systems with extended time Petri nets
    Okawa, Y.
    Yoneda, T.
    [J]. International journal of mini & microcomputers, 1996, 18 (03): : 148 - 156
  • [10] Real-time synchronised Petri nets
    Serugendo, GD
    Mandrioli, D
    Buchs, D
    Guelfi, N
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 142 - 162
12345