Petri
Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误,死锁状态。
资源总数
39
Petri 全部资料 39 份
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
2014-01-15
182
一部介绍petri网模型的好书。 petri网理论提出自20世纪60年代
一部介绍petri网模型的好书。 petri网理论提出自20世纪60年代,有严谨的数学基础,广泛的应用于工作流建模等领域。
2015-08-27
73