📚 petri技术资料

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

🔥 petri热门资料

查看全部20个资源 »

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

📅 👤 lvzhr
petri

💻 petri源代码

查看更多 »
💻
petri.~bpr
💻
petri.bpr
💻
petri.~bpr
💻
petri.bpr
💻
petri.html
💻
makefile
📂 petri资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 20 个资源