Petri网是1962年由德国C. A. Petri在他的博士论文中首次提出的网状结构的信息流模型。Petri网既是一种图形工具又是一种数学工具。作为图形工具，Petri网像软件设计中的结构图、流程图一样直观、形象，而且在这些网中，可以使用标记来模拟系统的动态行为和并发活动；作为一种数学工具，它可以建立状态方程、代数方程以及系统行为的其他数学模型，这些数学方程和模型有利于计算和验证。具有并发、并行、异步、分布特点的系统，都可以利用Petri网建立模型，然后进行分析验证。自诞生以来，Petri网
针对Julia程序运行的时限约束,提出一种基于有色Petri网的程序运行性能自适应模拟方法。面向特定领域构建适应底层计算资源特点的工具库,抽取针对Julia语言的计算原语;程序员通过Julia语言实现原语,动态选取领域工具,适应运行时限约束。结合图像对象识别案例,构建Colored Petri Net模型,借助CPN Tools工具模拟运行,自动优化备选方案。模拟实验表明,基于工具库的性能标定,CPN模拟得到的工具库映射方案接近最优。
