📚 petri技术资料

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

🔥 petri热门资料

查看全部20个资源 »

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

📅 👤 Miyuki

💻 petri源代码

查看更多 »
📂 petri资料分类