NETSPEC: from formal nets specifications to code generation
Laurent Allain, A. Hebrard · 2002
We review research on code generation from formal net specifications, using relational databases, queried with SQL. We show that a formal net can easily be compiled to produce the source code of a simulation program, and so, to track the dynamic workings of this kind of high-level Petri net.