Model based implementation of supervisors and diagnosers in VHDL code of programmable systems

摘要

The paper describes techniques, which use stochastic Petri nets in designing control and diagnosis applications mapped in programmable systems. A methodology for automatic translation of stochastic Petri net models into VHDL code has been developed and will be used in teaching our master students.