论文部分内容阅读
着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器(Monitor),得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。