搜索资源列表
BPEL2PNML
- BPEL tools for translating Petri net to Bpel code-BPEL tools for translating Petri net to Bpe l code
PIPE
- Petri网分析工具PIPE is open-source
Petri
- 模拟一个Petri网的行为:该程序应该读入一组转换规则,以及一组状态列表,这些状态对应与网络链路层发出一个新的分组或者接受一个新的分组。初始状态也是要读入的。该程序应该从初始状态开始,随机地选取那些激活的转换,并激发这些转换,检查一下看是否有“一台主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。
ex641
- petri网使用工具,PERTRI教学使用,清晰明了。是学习PETRI网的很好工具。
ex641-1
- 一个PETRI网的很好工具。我在教学中多次使用,效果很好(有密码可供使用)。
wwzzv
- BPEL tools for translating Petri net to Bpel code()
nomponent
- BPEL tools for translating Petri net to Bpel code()