基于混杂系统Petri网模型的化工生产开车过程描述

机译：用于简化化工生产的彩色Petri网模型设计

机译：高级Petri网用于面向服务的制造系统中的过程描述和控制

机译：基于统一数据格式搜索文本和基于模型的过程描述

机译：基于Petri网的化工生产过程控制策略研究

机译：考虑车辆和行人/骑自行车者在某个地区的培养基于Petri网的模型

机译：基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测

机译：面向服务的制造系统中用于过程描述和控制的高级Petri网

机译：计算科学：基于petri网展开的并行LTL-X模型检验的可预测性验证

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

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

机译：用于描述过程的方法以及用于检索以过程执行程序存储的过程描述和存储介质以及以过程描述检索程序存储的存储介质的方法