Petri Nets Based Scheduling Modeling for Embedded Systems
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 tokens attributes and object transitions functions , the model of waiting tasks and time round-robin scheduling can be implemented.
component embedded Systems modeling Petri Nets Scheduling
Haitao Zhang Guifang Wu
Electronic Information Engineering College Henan University of Science and Technology Luoyang, Henan, China
国际会议
长沙
英文
3059-3062
2009-10-10（万方平台首次上网日期，不代表论文的发表时间）