Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems.

Wed, 01 Jan 1997 00:00:00 +0100

Chih-Hung Wu, Shie-Jue Lee:
Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems. IEEE Trans. Syst. Man Cybern. Part B 27(5): 760-773 (1997)