Petri

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

共 38 份资源
源代码 100

Petri 源代码 100 份

petri.exe
petri.~bpr
petri.~cpp
petri.tds
petri.res
petri.bpr
petri.cpp
petri.obj
petri.exe
petri.~bpr

Petri技术资料简介

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

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