搜索资源列表
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.
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