Petri Nets Based Scheduling Modeling for Embedded Systems

Author

Zhang, Haitao ; Wu, Guifang

Author_Institution

Electron. Inf. Eng. Coll., Henan Univ. of Sci. & Technol., Luoyang, China

Volume

4

fYear

2009

fDate

10-11 Oct. 2009

Firstpage

80

Lastpage

83

Abstract

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.

Keywords

Petri nets; embedded systems; object-oriented methods; scheduling; Petri nets based scheduling modeling; complex embedded systems; nonpreemptive scheduling; object-oriented technology; preemptive scheduling; round-robin scheduling; waiting tasks; Automation; Embedded computing; Embedded system; Formal languages; Object oriented modeling; Petri nets; Process design; Processor scheduling; Real time systems; Scheduling algorithm; Petri Nets; Scheduling; embedded Systems; modeling;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Computation Technology and Automation, 2009. ICICTA '09. Second International Conference on

Conference_Location

Changsha, Hunan

Print_ISBN

978-0-7695-3804-4

Type

conf

DOI

10.1109/ICICTA.2009.736

Filename

5288216