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期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：6 / 8

共 50 条

[41] Modeling and analysis of embedded systems based on Extended Colored Petri Nets
Li, B. (Libing_lyl@163.com), 1600, Advanced Institute of Convergence Information Technology, Myoungbo Bldg 3F,, Bumin-dong 1-ga, Seo-gu, Busan, 602-816, Korea, Republic of (04):
[42] Implementation of real-time distributed control for discrete event robotic manufacturing systems using Petri nets
Yasuda, G.
PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL SYMPOSIUM ON ARTIFICIAL LIFE AND ROBOTICS (AROB 16TH '11), 2011, : 679 - 682
[43] Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
Bernardi, Simona
Campos, Javier
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2009, 5 (02) : 168 - 180
[44] Compositional schedulability analysis of real-time systems using time Petri nets
Xu, DX
He, XD
Deng, Y
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 984 - 996
[45] Reduction methods for real-time systems using delay time petri nets
Juan, EYT
Tsai, JJP
Murata, T
Zhou, Y
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (05) : 422 - 448
[46] Some Issues in Real-Time Systems Verification Using Time Petri Nets
Gonzalez del Foyo, Pedro M.
Silva, Jose Reinaldo
JOURNAL OF THE BRAZILIAN SOCIETY OF MECHANICAL SCIENCES AND ENGINEERING, 2011, 33 (04) : 467 - 474
[47] Integrating Petri nets with design methods for concurrent and real-time systems
Pettit, RG
Gomaa, H
SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171
[48] SPECIFICATION AND VALIDATION OF REAL-TIME SYSTEMS BY MEANS OF PETRI QUEUE NETS
MARTIN, R
MEMMI, G
REVUE TECHNIQUE THOMSON-CSF, 1981, 13 (03): : 635 - 653
[49] Stubborn Sets for Real-Time Petri Nets
Robert H. Sloan
Ugo Buy
Formal Methods in System Design, 1997, 11 : 23 - 40
[50] Specification and analysis of real-time systems using csp and petri nets
Kavi, KM
Sheldon, FT
Reed, S
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248

← 1 2 3 4 5 →