Schedule modeling based on Petri nets for distributed real-time embedded systems

被引：0
|
作者：
Zhang, Haitao [1 ]
Ai, Yunfeng [1 ]
机构：
[1] Key Laboratory of Complex Systems and Intelligence Science, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China
来源：
Jisuanji Gongcheng/Computer Engineering | 2006年 / 32卷 / 18期
关键词：
5;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：6 / 8
相关论文
共 50 条
  • [21] Modeling flexible real time systems with preemptive time Petri nets
    Bucci, G
    Fedeli, A
    Sassoli, L
    Vicario, E
    15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2003, : 279 - 286
  • [22] Implementation of real-time distributed control for discrete event robotic systems using Petri nets
    Yasuda, Gen'ichi
    ARTIFICIAL LIFE AND ROBOTICS, 2012, 16 (04) : 537 - 541
  • [23] Verifying timing properties for distributed real-time systems using timing constraint Petri nets
    Tsai, JJP
    Yang, SJ
    Chang, YH
    Juan, EYT
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 36 - 40
  • [24] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [25] Implementation of real-time distributed control for discrete event robotic systems using Petri nets
    Gen’ichi Yasuda
    Artificial Life and Robotics, 2012, 16 (4) : 537 - 541
  • [26] Schedulability verification of real-time systems with extended time Petri nets
    Okawa, Y.
    Yoneda, T.
    International journal of mini & microcomputers, 1996, 18 (03): : 148 - 156
  • [27] Schedule validation for embedded reactive real-time systems
    Balarin, F
    SangiovanniVincentelli, A
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 52 - 57
  • [28] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
  • [29] Real-time synchronised Petri nets
    Serugendo, GD
    Mandrioli, D
    Buchs, D
    Guelfi, N
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 142 - 162
  • [30] Modeling scenarios for the performance prediction of distributed real-time embedded systems
    Falkner, Katrina
    Chiprianov, Vanea
    Falkner, Nickolas
    Szabo, Claudia
    Puddy, Gavin
    2013 MILITARY COMMUNICATIONS AND INFORMATION SYSTEMS CONFERENCE (MILCIS), 2012,
12345