无回路规则系统的Petri网验证方法
무회로규칙계통적Petri망험증방법
Verifying Acyclic Rule-Based System by Petri Nets
저자의 최근 논문