查看会员资料
用 户 名：p****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
SB_PetriNetsWithWeights
- 基于petri网进行服务行为验证算法，首先生成数据，然后进行服务行为的验证，最下面可以清空数据。-Service behavior based on petri nets to verify the algorithm, first of all generated data, then the verification service behavior, at the bottom to empty the data.