论文部分内容阅读
针对有色PetriN（CPN）在并行、并发、资源共享描述上的适用性，将其引入到嵌入式实时操作系统（RTOS）建模中，解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型，结果表明该模型能有效反映RTOS系统的动态特性，准确定量模拟出RTOS系统的效率、切换频率指标。