petri

Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。

共 38 份资源
源代码 100

petri 热门资料

查看全部 38 份 →
PDF文档

一本不可多得的petri网好书，谁看谁收益-A petri net rare books...

7 次下载
PETRI
PDF文档

petri网络的演示程序，本程序是计算机网络课程中涉及到的petri网络的演示，输入预先的转换规则，搜索可以击发的状态，设定次数进行状态转换...

149 次下载 Miyuki
petri 网络 程序
PDF文档

petri网使用工具，PERTRI教学使用，清晰明了。是学习PETRI网的很好工具。...

156 次下载 lvzhr
petri

petri 源代码

查看全部 100 份 →
petri.exe
petri.~bpr
petri.~cpp
petri.tds
petri.res
petri.bpr

petri技术资料简介

Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。

相关技术领域： PETRI Petri distributed parallel systems 网络 程序 计算 状态空间 分 源码 matlab