基于局部关联矩阵的Petri网监控器的综合
기우국부관련구진적Petri망감공기적종합
Petri Net Supervisors for DES Based on Local Incidence Matrix
저자의 최근 논문