位置：成果数据库 > 期刊 > 期刊详情页
基于Petri网的软件测试技术
  • 期刊名称：计算机科学 26卷6期（增刊）
  • 时间：0
  • 作者或编辑：3448
  • 页码：pp.68-74
  • 语言：中文
  • 相关项目：PETRI网的进程表达式
作者： 张继军 吴哲辉|
同期刊论文项目
PETRI网的进程表达式
期刊论文 14
同项目期刊论文
Two new algorithms for matrix multiplication and vector convolution
Petri网理论及其应用-历史、现状与发展方向
网络计划中工期-成本优化问题的Petri网方法
带参标识：一种有效缩减谓词/变迁网可达树规模的方法
无界Petri网的可覆盖树到网图的转换算法
Petri网的并运算
无界公平Petri网的特征可达树
Petri网分析工具简述
网络计划中时间-资源优化问题的Petri网方法
操作系统中死锁监测与避免的Petri网方法
CCPN的演变图及其构造算法
P/T网的和分解
无界公平Petri网的进程表达式