机译:使用有色Petri网的柔性制造系统中动态工具分配的性能建模和评估:一种面向对象的方法
机译:面向对象的Petri网和基于π演算的可重构制造系统建模和分析:
机译:使用定时扩展面向对象Petri网的晶圆制造系统的性能建模,实时调度和仿真
机译:面向对象的Petri网建模工具和协作系统的抽象机制
机译:基于Petri网抽象的并发系统的监督控制方法。
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:面向对象的Petri网和基于π-微分的建模和分析可重构制造系统