PDF文档
基于Petri网的地下工程智能化系统建模
介绍了一种混合Petri网的基本原理，在分析了复杂地下工程智能化系统的复杂性、交互性、混合性的基础上，提出了利用混合Petri网对复杂地下工程智能化系统进行建模的一般方法，进而为复杂地下...
petri
Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
共 38 份资源
源代码 100
petri 热门资料
查看全部 38 份 →
PDF文档
基于时间Petri网的嵌入式系统软硬件划分方法
软硬件划分技术是软硬件协同设计中的一个关键技术。提出将时间Petri 网应用到软硬件划分当中，为系统的性能评估提供了形式化的方法和工具。另一方面，将系统功能集中到Petri 网的迁移上，从而将Petr...
PDF文档
Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架
Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架，用Java编写，为Java开发者而设计...
PDF文档
模拟一个Petri网的行为:该程序应该读入一组转换规则
模拟一个Petri网的行为:该程序应该读入一组转换规则，以及一组状态列表，这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始，随机地选取那些激活的转换，并激发这些转换，检查一下看是否...