Verification and validation of the SACHE
β
M. LE GOC; C. FRYDMAN; L. TORRES
π
Article
π
2002
π
Elsevier Science
π
English
β 611 KB
We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operational