By Topic

Petri Nets Based Scheduling Modeling for Embedded Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Haitao Zhang ; Electron. Inf. Eng. Coll., Henan Univ. of Sci. & Technol., Luoyang, China ; Guifang Wu

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.

Published in:

Intelligent Computation Technology and Automation, 2009. ICICTA '09. Second International Conference on  (Volume:4 )

Date of Conference:

10-11 Oct. 2009