基于Petri网的轻量级工作流引擎设计与实现

机译：基于3D虚拟脉动阵列和轻量级运行时的大规模基于树的QR分解的设计与实现

机译：用于航天器自动测试的工作流引擎的设计与实现

机译：离散事件控制系统的设计与实现：基于Petri网络的硬件方法

机译：基于Hadoop和OSGI的轻量级工作流引擎

机译：基于Agent的结构健康监测系统的机器学习和工作流引擎

机译：开发具有智能工作流引擎（IWEIS）的新型基于影像信息学的系统以支持基于影像的临床试验

机译：轻量级工作流引擎的设计与实现

机译：轻量级光学器件的缩放定律，轻量级镜子安装和动态镜面应力研究，以及轻量级镜子和安装设计

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

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

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