搜索资源列表
pipe——Petri网分析工具
- Petri网绘图、分析工具。可在windows/linux/mac下运行。可进行结构分析和初步性能分析及仿真。-Petri net mapping, analysis tools. The windows / linux / mac running. Structural analysis can be conducted and preliminary performance analysis and simulation.
petri_net
- 模拟一个petri网的行为。该程序应该读入一组转换规则，以及一组状态列表，这些状态对应于网络链路层发出了一个新分组或者接受一个新分组，初始状态也是要读入的。该程序应该从初始状态开始，随机地选择那些激活的转换，并激发这些状态，检查一下看是否有“一个主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-simulated a petri nets behavior. The procedure should be read into one group conversion rul
petri网软件工具2
- petri网图形分析工具
PNS
- A GUI simulation for Petri Net. One may add components dynamically, and one/multi step run the net. It s just a preliminary version.
zhe4
- 哲学家进餐问题，用于观察进程之间互斥问题，知道进程之间关系-Petri Net Model to Solve the Dining Philosophers Problem and Implementation
lecture2b
- petri net,teaching,modeling-petri net application,analysis of system
representations
- The paper deals with representations of the safe states set in the Banker s problem. Using a Petri Net model we derive formulas for this set (SAFE) directly and for its (smaller) minimal elements set MIN. Moreover, we partition the set MIN into s
PetriNetAnalyze
- Petri网可达分析算法，将Petri网的关联矩阵输入，得到该可达分析图的性质-Petri net reachability analysis algorithm, the Petri net associative matrix input, get the nature of the reachable analysis