基于 ASK-CTL 的有色 Petri 网模型检验算法研究
기우 ASK-CTL 적유색 Petri 망모형검험산법연구
STUDY ON COLOURED PETRI NET MODEL CHECKING BASED ON ASK-CTL
저자의 최근 논문