petri
Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
共 38 份资源
petri 热门资料
PDF文档
Petri Nets Petri nets are a basic model of parallel and distributed systems
Petri Nets Petri nets are a basic model of parallel and distributed systems...
PDF文档
This is realization of the Petri Networks. Language: Russian only
This is realization of the Petri Networks. Language: Russian only...