可达树算法相关硕士博士期刊学术论文 - 搜论网

可达树算法相关论文

基于Petri网的SIP协议一致性测试

SIP一致性测试是其协议实现之间成功交互的重要保证。用Petri网建立数学模型描述SIP协议的动态过程，利用可达树算法生成SIP协议Petr......

会议

会话初始化协议一致性测试 Petri网可达树算法数学模型

锅炉仿真中并行死锁问题的研究

随着计算机技术的不断发展，为满足用户的不同需求，越来越多的软件在各行各业得到了广泛应用，尤其是仿真软件的发展应用；近年来，一些特定......

学位

仿真系统 UML Petri网死锁检测可达树算法

看过本文同时还关注