Title :
NETSPEC: from formal nets specifications to code generation
Author :
Allain, Laurent ; Hebrard, Agnes
Author_Institution :
Dept. Signaux et Syst., ISEN, Lille, France
Abstract :
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
Keywords :
Petri nets; SQL; automatic programming; formal specification; query languages; query processing; relational databases; software tools; NETSPEC; SQL; code generation; formal net specifications; high-level Petri net; query processing; relational databases; research; simulation program; source code; Analytical models; Availability; Bars; Electronic mail; Formal languages; Information analysis; Joining processes; Petri nets; Process design; Relational databases;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.633175
