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 条
  • [1] Time analysis of scheduling sequences based on Petri nets for distributed real-time embedded systems
    Zhang, Haitao
    Ai, YunFeng
    PROCEEDINGS OF THE 2006 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2006, : 144 - +
  • [2] Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Wang, Xiuying
    PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 476 - 481
  • [3] Scheduling analysis based on Petri nets for distributed real time embedded systems
    Zhang, Hai-Tao
    Ai, Yun-Feng
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2007, 37 (03): : 616 - 620
  • [4] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
    Gu, ZH
    Shin, KG
    23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
  • [5] Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
    Nigro, Libero
    Cicirelli, Franco
    MATHEMATICS, 2024, 12 (06)
  • [6] MODELING REAL-TIME SYSTEMS BY EXTENDING THE NOTION OF PETRI NETS
    BAYEV, VV
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1993, 31 (03) : 119 - 123
  • [7] A review of Petri Net based modeling and verification for embedded real-time systems
    zhang, Haitao
    Wang, Fei-Yue
    DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4, 2005, : 257 - 264
  • [8] Modeling and analysis of real-time cooperative systems using Petri nets
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (05): : 643 - 654
  • [9] A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Ma, Hanhua
    JOURNAL OF COMPUTERS, 2008, 3 (12) : 35 - 42
  • [10] Petri Nets Based Scheduling Modeling for Embedded Systems
    Zhang, Haitao
    Wu, Guifang
    ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS, 2009, : 80 - 83
12345