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 token's attributes and object transition's functions, the model of waiting tasks and time round-robin scheduling can be implemented.