求解哲学家进餐问题的Petri网模型及实现

机译：希腊哲学家的堕胎和杀婴问题↓O格雷格哲学家的堕胎和儿童问题

机译：求解计算智能问题的定时混合Petri网

机译：使用SMT求解器的时间Petri网的无限模型检查

机译：面向活动的Petri网验证餐饮哲学家问题的解决方案

机译：基于Runge-Kutta积分求解最优控制问题的数值方法的理论与实现

机译：一种改进的算法及其求解一般血血组织传输和代谢模型的平行实现

机译：用Petri网分析法设计餐饮哲学家问题的仿真工具

机译：随机petri网模型求解统一包的设计

机译：稀疏主成分分析的约束约束组合最优化问题的最大化候选解决方案的计算机实现方法和最优化问题的求解

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

机译：优化执行时间以实现面向状态或面向流程的模型（例如Petri网或机器）的过程