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 条

[41] Modeling and performance analysis of grid task scheduling based on composition and reduction of Petri nets
Han, Yaojun
Luo, Xuemei
[J]. GCC 2005: FIFTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2006, : 331 - +
[42] A method of workflow scheduling based on colored Petri nets
Xiao, Zhijiao
Ming, Zhong
[J]. DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 230 - 247
[43] Continuous approach of scheduling problems based on Petri nets
Proth, JM
Sauer, N
[J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 717 - 723
[44] FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION
Gehlot, Vijay
[J]. 2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1519 - 1533
[45] Specification and performance analysis of embedded systems with coloured Petri nets
Benders, LPM
[J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1999, 37 (11-12) : 177 - 190
[46] Design of embedded control systems using hybrid Petri nets
Hummel, T
Fengler, W
[J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 189 - 194
[47] Simulation and analysis of embedded DSP systems using Petri nets
Deb, AK
Öberg, J
Jantsch, A
[J]. 14TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2003, : 64 - 70
[48] Multiobjective scheduling algorithm for flexible manufacturing systems with Petri nets
Mejia, Gonzalo
Pereira, Jordi
[J]. JOURNAL OF MANUFACTURING SYSTEMS, 2020, 54 : 272 - 284
[49] Cloud based development framework using IOPT Petri nets for embedded systems teaching
Gomes, Luis
Costa, Aniko
[J]. 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2014, : 2202 - 2206
[50] Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey
Huang, Bo
Zhou, Mengchu
Lu, Xiaoyu Sean
Abusorrah, Abdullah
[J]. ACM COMPUTING SURVEYS, 2023, 55 (11)

← 1 2 3 4 5 →