Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems

机译：面向对象的Petri网和基于π演算的可重构制造系统建模和分析：

机译：通过扩展的面向对象Petri网对大型复杂可重入制造系统进行建模

机译：使用有色Petri网的柔性制造系统中动态工具分配的性能建模和评估：一种面向对象的方法

机译：扩展的面向对象Petri网，用于建模和分析自动折返制造系统

机译：用彩色Petri网建模可重入制造系统的系统方法。

机译：基于PetriNet的支持网络物理制造系统中可追溯性的方法

机译：用有色定时petri网建模可重构制造系统

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

机译：使用简化的Petri网建模复杂系统的系统和方法

机译：使用彩色Petri网以计算机辅助方式生成对复杂系统建模的程序