• 基于Petri网理论的动态系...
• 基于Petri网的离散系统可...
• 基于Petri网的铁路信号综...