查看会员资料
用 户 名：nilo****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
10PetriNets
- Definition: places, transitions, inputs, outputs firing enabled transitions Modelling: concurrency and synchronization Properties of nets: liveness, boundedness Implementing Petri net models: centralized and decentralized schemes