Petri
Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
共 38 份资源
源代码 100
Petri 源代码 100 份
on the analysis and synthesis of coloured petri ne
makefile
jdev.fileset
traffic preemption control with colored petri nets
safety analysis using coloured petri nets.pdf
modelling_analysis_synthesis_asynchronous_control_
distribution network reconfiguration for load bala
a technique for analysing and testing object-orien
fi.po
fi.po