有界Petri网进程表达式与活性的关系
유계Petri망진정표체식여활성적관계
Relationship between Process Expression and Liveness of Bounded Petri Nets
저자의 최근 논문