Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.
GNTicker: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| (6 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
<div style="float:right; margin-left: .5em">__TOC__</div> | |||
'''GNTicker''' is an [http://en.wikipedia.org/wiki/Interpreter_(computing) interpreter] for a certain kind of [[reduced generalized nets|reduced]] [[generalized nets]] (GN). It can be run as a standalone program or as a server, which allows simultaneous execution of multiple GN models. The software application is written in C++ for CLBME by [[Kalin Georgiev]] and [[Trifon Trifonov]]. | '''GNTicker''' is an [http://en.wikipedia.org/wiki/Interpreter_(computing) interpreter] for a certain kind of [[reduced generalized nets|reduced]] [[generalized nets]] (GN). It can be run as a standalone program or as a server, which allows simultaneous execution of multiple GN models. The software application is written in C++ for CLBME by [[Kalin Georgiev]] and [[Trifon Trifonov]]. | ||
Generalized net models are described (or coded, programmed) on two levels. First of all, the structure of the model is defined in an XML file. This definition includes description of the GN’s [[transition]]s, [[place]]s, [[token]]s and [[index matrix|matrices]]. Each GN component is given a unique name (identifier) and the structure of the XML definition allows the interpreter to extract information about the relations between those components. In the place definitions and predicate matrix definitions, characteristic functions and predicates are only referred by their names. Their actual definitions come in the second part of the GN code – the [[GNTCFL]] program. | Generalized net models are described (or coded, programmed) on two levels. First of all, the structure of the model is [[GN XML format|defined in an XML file]]. This definition includes description of the GN’s [[transition]]s, [[place]]s, [[token]]s and [[index matrix|matrices]]. Each GN component is given a unique name (identifier) and the structure of the XML definition allows the interpreter to extract information about the relations between those components. In the place definitions and predicate matrix definitions, characteristic functions and predicates are only referred by their names. Their actual definitions come in the second part of the GN code – the [[GNTCFL]] program. | ||
GNTCFL is a language with [http://en.wikipedia.org/wiki/Lisp_(programming_language) Lisp]-like syntax developed especially for GNTicker. A GNTCFL program is a set of function definitions that can be used as characteristic functions and predicates as well as user defined utility functions. | GNTCFL is a language with [http://en.wikipedia.org/wiki/Lisp_(programming_language) Lisp]-like syntax developed especially for GNTicker. A GNTCFL program is a set of function definitions that can be used as characteristic functions and predicates as well as user defined utility functions. | ||
The XML definition of a GN model structure and the GNTCFL program with definitions of characteristic functions and predicates form the complete GN code which can be “executed” by GNTicker. The “execution” process is actually an interpretation of the definitions and a calculation of token characteristic for each step of some GN’s life. GNTCFL provides certain tracing capabilities that allow characteristics of various tokens to be printed to the standard output or sent to another process and eventually recorded to form the “result” of the GN’s execution. The recorded data can be visualized later, or during the GN model execution. The MS Windows version of GNTicker has primitive support for real-time visualization of function graphics. | The [[GN XML format|XML definition of a GN model]] structure and the GNTCFL program with definitions of characteristic functions and predicates form the complete GN code which can be “executed” by GNTicker. The “execution” process is actually an interpretation of the definitions and a calculation of token characteristic for each step of some GN’s life. GNTCFL provides certain tracing capabilities that allow characteristics of various tokens to be printed to the standard output or sent to another process and eventually recorded to form the “result” of the GN’s execution. The recorded data can be visualized later, or during the GN model execution. The MS Windows version of GNTicker has primitive support for real-time visualization of function graphics. | ||
== Basic concept == | |||
The presented GNTicker is an interpreter for a certain kind of reduced Generalized Nets (GN). It provides capabilities to code a GN by describing its structure and programming its characteristic functions and predicates, execute it and trace the execution. | |||
=== Running the interpreter === | |||
This version of GNTicker interpreter is an executable which needs the following files to operate: | |||
* gnticker.exe – the interpreter | |||
* [[GNschema.xsd]] – not described here | |||
* xerces-c_2_1_0.dll – Xerces XML interface library | |||
In order to run a GN use the following command line syntax: | |||
gnticker <GN description file> <steps> | |||
=== Programming a GN === | |||
A GN description consists of: | |||
* A GN model structure described in an XML file; | |||
* Characteristic functions, predicates and user-defined functions coded in the XML definition, or in separate GNTCFL files, referred to in the XML. | |||
== GNTicker runtime == | |||
=== GN time moments === | |||
=== GNTicker tracing capabilities === | |||
== See also == | |||
* [[GNTP]] | |||
* [[GNTCFL]] | |||
== References == | == References == | ||
| Line 12: | Line 37: | ||
* [http://debian.fmi.uni-sofia.bg/~spooler/wiki/index.php?title=Main_Page GNTicker Wiki] | * [http://debian.fmi.uni-sofia.bg/~spooler/wiki/index.php?title=Main_Page GNTicker Wiki] | ||
[[Category:Generalized nets]] | |||
[[Category:Software]] | [[Category:Software]] | ||
Latest revision as of 12:22, 30 April 2009
GNTicker is an interpreter for a certain kind of reduced generalized nets (GN). It can be run as a standalone program or as a server, which allows simultaneous execution of multiple GN models. The software application is written in C++ for CLBME by Kalin Georgiev and Trifon Trifonov.
Generalized net models are described (or coded, programmed) on two levels. First of all, the structure of the model is defined in an XML file. This definition includes description of the GN’s transitions, places, tokens and matrices. Each GN component is given a unique name (identifier) and the structure of the XML definition allows the interpreter to extract information about the relations between those components. In the place definitions and predicate matrix definitions, characteristic functions and predicates are only referred by their names. Their actual definitions come in the second part of the GN code – the GNTCFL program.
GNTCFL is a language with Lisp-like syntax developed especially for GNTicker. A GNTCFL program is a set of function definitions that can be used as characteristic functions and predicates as well as user defined utility functions.
The XML definition of a GN model structure and the GNTCFL program with definitions of characteristic functions and predicates form the complete GN code which can be “executed” by GNTicker. The “execution” process is actually an interpretation of the definitions and a calculation of token characteristic for each step of some GN’s life. GNTCFL provides certain tracing capabilities that allow characteristics of various tokens to be printed to the standard output or sent to another process and eventually recorded to form the “result” of the GN’s execution. The recorded data can be visualized later, or during the GN model execution. The MS Windows version of GNTicker has primitive support for real-time visualization of function graphics.
Basic concept
The presented GNTicker is an interpreter for a certain kind of reduced Generalized Nets (GN). It provides capabilities to code a GN by describing its structure and programming its characteristic functions and predicates, execute it and trace the execution.
Running the interpreter
This version of GNTicker interpreter is an executable which needs the following files to operate:
- gnticker.exe – the interpreter
- GNschema.xsd – not described here
- xerces-c_2_1_0.dll – Xerces XML interface library
In order to run a GN use the following command line syntax:
gnticker <GN description file> <steps>
Programming a GN
A GN description consists of:
- A GN model structure described in an XML file;
- Characteristic functions, predicates and user-defined functions coded in the XML definition, or in separate GNTCFL files, referred to in the XML.