Résumé
This document serves as a reference for the formal specification of the HILECOP model-to-text transformation.HILECOP is a methodology for the design and synthesis of safety-critical digital systems. Here, we specify how an input Petri net model is transformed into a VHDL design.