时间约束Petri网的可达性分析研究

机译：Petri网可达性空间的基础标记表示及其在可达性问题中的应用

机译：有时间约束的单机器人臂群集工具的Petri网建模和线性规划及最优循环调度

机译：使用Max-Plus代数对Petri网进行严格时间约束的控制

机译：具有随机触发持续时间的时间约束Petri网及其可达性的解析计算

机译：整数优化的几何方法及其在Petri网可达性分析中的应用。

机译：基于Petri网的中国城市应急体系绩效分析研究

机译：Petri网可达性空间的基础标记表示及其在可达性问题中的应用

机译：petri网可达性集强连通性的可判定问题。

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

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

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