In: Xu, Kongshi: Advances in Chinese Computer Science, Vol. 3, pages 79-104. Singapore: World Scientific Publishing Co., 1991.
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 concept of case and case class have been succesfully 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. The authors define case variables and equivalent case variables for knowledge representation of high-level Petri nets in order to increase the representation power of knowledge.
Keywords: knowledge representation (by nets); modal logic; enlogy; case class; condition/event net; place/transition net; high-level net; equivalent case variable.