In: Chinese Journal of Computer, No. 1 (in Chinese language). 1992.
Abstract: The relationships between various classes of Petri nets and modal logic are studied in this paper. Petri nets Enlogy provides some hints for these relationships. The concepts of case and case class have been successfully used to investigate knowledge representation of Condition/Event nets. In this paper both concepts are introduced into Place/Transition nets and High-level Petri nets for knowledge representation. We define case variables and equivalent case variables for knowledge representation of High-level Petri Nets in order to increase the representation power of knowledge.