基于Petri网的并行计算机的设计思想与方法研究

机译：基于Petri网模型的信息管理软件服务建模方法研究

机译：虚拟协同环境下基于Petri网的虚拟代理与真实人之间管理方法研究

机译：基于Petri网的工作流过程建模与分析方法研究

机译：基于个性化程度评价的功能保留设计思想与方法研究

机译：设计思想者简介：创建和验证用于衡量设计思想能力的量表

机译：mGenomeSubtractor：基于网络的工具可对多种细菌基因组进行并行计算机模拟减法杂交分析

机译：基于Petri网的协议一致性测试方法研究

机译：基于随机petri网的并行计算机系统的分析性能建模

机译：基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器

机译：程序，列车服务适应Petri网模型生成设备，列车威慑安排支持设备，列车服务适应Petri网模型生成方法和列车威慑安排支持方法

机译：一种过程优化方法，包括分析过程定义以发现控制序列依赖性，然后将控制序列逐步转换为相应的Petri网络，然后在另一步骤中分析Petri网络