CPNS相关论文
该文旨在为分布式的状态空间生成系统设计一个有色petri网模型，并对模型进行性能分析，得出状态空间的分割对分布式系统性能的影响。......
介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了......
