Petri Nets Based Scheduling Modeling for Embedded Systems

被引：1

作者：

Zhang, Haitao ^{[1
]}

Wu, Guifang ^{[1
]}

机构：

[1] Henan Univ Sci & Technol, Elect Informat Engn Coll, Luoyang, Henan, Peoples R China

来源：

ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS | 2009年

关键词：

component; embedded Systems; modeling; Petri Nets; Scheduling;

D O I：

10.1109/ICICTA.2009.736

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Basic Petri Nets has obvious deficiency in modeling complex embedded systems. So object-oriented technology is introduced, and Petri Nets using object token is used to model scheduling of embedded systems. In the model of embedded systems with multi-processor the use of object token makes the modeling of non-preemptive scheduling and preemptive scheduling becoming easy. By the addition of object token's attributes and object transition's functions, the model of waiting tasks and time round-robin scheduling can be implemented.

引用

页码：80 / 83

页数：4

共 50 条

[1] Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search
Zhou, Jiazhong
Luo, Jiliang
Lefebvre, Dimitri
Li, Zhiwu
[J]. IEEE ACCESS, 2020, 8 : 163458 - 163471
[2] A Survey of Modeling and Scheduling of Cluster Tools Based on Petri Nets
Yuan, Feng-Lian
Huang, Bo
Wang, Ji-Peng
Pan, Chun-Rong
[J]. Zidonghua Xuebao/Acta Automatica Sinica, 2023, 49 (05): : 929 - 948
[3] Time analysis of scheduling sequences based on Petri nets for distributed real-time embedded systems
Zhang, Haitao
Ai, YunFeng
[J]. PROCEEDINGS OF THE 2006 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2006, : 144 - +
[4] MODELING SCHEDULING PROBLEMS WITH TIMED PETRI NETS
CARLIER, J
CHRETIENNE, P
GIRAULT, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 62 - 82
[5] Modeling and analysis for grid service cooperative scheduling based on Petri nets
Han, Yaojun
Jiang, Changjun
Luo, Xuemei
[J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, 2007, 4674 : 104 - +
[6] MODELING AND SIMULATION OF PETRI NETS FOR COMPLEX SCHEDULING RULES OF AUTOMATED MANUFACTURING SYSTEMS
Kim, Chulhan
Lee, Tae-Eog
[J]. 23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 319 - 324
[7] MODELING AND ONLINE SCHEDULING OF FLEXIBLE MANUFACTURING SYSTEMS USING STOCHASTIC PETRI NETS
HATONO, I
YAMAGATA, K
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (02) : 126 - 132
[8] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
Gu, ZH
Shin, KG
[J]. 23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
[9] Methodology for design and development of Embedded and Reactive Systems Based on Petri Nets
Micolini, Orlando
Orlando Ventre, Luis
Ludemann, Mauricio
[J]. 2018 IEEE BIENNIAL CONGRESS OF ARGENTINA (ARGENCON), 2018,
[10] Modeling of Hybrid Systems with Petri Nets
Drighiciu, Mircea Adrian
Cismaru, Daniel Cristian
[J]. 2019 INTERNATIONAL CONFERENCE ON ELECTROMECHANICAL AND ENERGY SYSTEMS (SIELMEN), 2019,

← 1 2 3 4 5 →