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 条
  • [31] Modeling and validating distributed embedded real-time systems with VDM++
    Verhoef, Marcel
    Larsen, Peter Gorm
    Hooman, Jozef
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 147 - 162
  • [32] Schedule Optimization of Time Petri Nets based on Ant Colony Systems
    Liu, Xian Ming
    Pan, Li
    Zheng, Hong
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1733 - +
  • [33] QoS-UniFrame: A Petri net-based modeling approach to assure QoS requirements of distributed real-time and embedded systems
    Liu, SH
    Bryant, BR
    Gray, JEG
    Raje, RR
    Olson, AM
    Auguston, M
    12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2005, : 202 - 209
  • [34] DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS
    Moutinho, Filipe
    Gomes, Luis
    2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS, 2013,
  • [35] Discrete time approach of time Petri nets for real-time systems analysis
    Roux, OH
    Delfieu, D
    Molinaro, P
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 197 - 204
  • [36] Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTLx
    He, Leifeng
    Liu, Guanjun
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (08) : 8784 - 8794
  • [37] Real-time framework for distributed embedded systems
    Chaaban, K
    Crubillé, P
    Shawky, M
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2004, 3144 : 96 - 107
  • [38] Middleware for distributed embedded real-time systems
    Musial, Marek
    Remuss, Volker
    Hommel, Guenter
    EMBEDDED SYSTEMS - MODELING, TECHNOLOGY AND APPLICATIONS, PROCEEDINGS, 2006, : 111 - +
  • [39] Modeling and Verifying Distributed Systems with Petri Nets
    Baarir, Souheib
    Kordon, Fabrice
    PROCEEDINGS OF THE 2012 IEEE SECOND INTERNATIONAL WORKSHOP ON ADVANCED INFORMATION SYSTEMS FOR ENTERPRISES (IWAISE 2012), 2012, : 92 - 92
  • [40] Modeling and analysis of real-time issues in rehabilitation robotic systems using Coloured Petri Nets
    Si, XK
    Abdullah, HA
    Basir, O
    PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 409 - 414
12345