Knowledge-Based Expert System Development and Validation with Petri Nets