DocumentCode
1817057
Title
NETSPEC: from formal nets specifications to code generation
Author
Allain, Laurent ; Hebrard, Agnes
Author_Institution
Dept. Signaux et Syst., ISEN, Lille, France
Volume
4
fYear
1997
fDate
12-15 Oct 1997
Firstpage
3389
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location
Orlando, FL
ISSN
1062-922X
Print_ISBN
0-7803-4053-1
Type
conf
DOI
10.1109/ICSMC.1997.633175
Filename
633175
Link To Document