下载地址：
下载地址1（本站为飞网专业下载站，域名：down.cfei.net）
资源简介：
Petri网是1962年由德国C. A. Petri在他的博士论文中首次提出的网状结构的信息流模型。Petri网既是一种图形工具又是一种数学工具。作为图形工具，Petri网像软件设计中的结构图、流程图一样直观、形象，而且在这些网中，可以使用标记来模拟系统的动态行为和并发活动；作为一种数学工具，它可以建立状态方程、代数方程以及系统行为的其他数学模型，这些数学方程和模型有利于计算和验证。具有并发、并行、异步、分布特点的系统，都可以利用Petri网建立模型，然后进行分析验证。自诞生以来，Petri网得到欧美一些学者的重视，Petri网的理论和应用也在不断的发展之中。理论方面，在基本Petri网之后，又出现了有色网、时间网、随机网以及面向对象Petri网等高级Petri网。在应用方面，Petri网在柔性制造系统、工作流以及协议验证等领域都取得了成功的应用。
飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
