View source for GNTicker

<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]]. 

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.

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 ==
* [http://debian.fmi.uni-sofia.bg/~spooler/gnticker/GNticker.pdf GNTicker v0.2 - A Brief Description]
* [http://debian.fmi.uni-sofia.bg/~spooler/gnticker/ More about GNTicker]
* [http://debian.fmi.uni-sofia.bg/~spooler/wiki/index.php?title=Main_Page GNTicker Wiki]

[[Category:Generalized nets]]
[[Category:Software]]