GN XML format - Revision history

Vassia Atanassova: /* GN XML attributes */

2012-05-22T11:02:12Z

GN XML attributes

← Older revision		Revision as of 14:02, 22 May 2012
Line 26:		Line 26:
	* <tt>import.fundefs</tt> — the name of the imported GNTCFL file used for characteristic functions and predicates for this model. A full absolute or relative path must be specified.		* <tt>import.fundefs</tt> — the name of the imported GNTCFL file used for characteristic functions and predicates for this model. A full absolute or relative path must be specified.
	* <tt>place.capacity</tt> — an integer >= -1, which states the capacity of the place, default is -1 meaning infinity.		* <tt>place.capacity</tt> — an integer >= -1, which states the capacity of the place, default is -1 meaning infinity.
	* <tt>place.char</tt> — the identifier of a characteristic function for the place, defined in the [[~~GNCTFL~~]] file. A valid identifier is also "ID" that represents the identity function, which is also the default characteristic function, if a value for this attribute is not specified.		* <tt>place.char</tt> — the identifier of a characteristic function for the place, defined in the [[GNTCFL]] file. A valid identifier is also "ID" that represents the identity function, which is also the default characteristic function, if a value for this attribute is not specified.
	* <tt>place.merge</tt> — a Boolean value (1,0, true, false), which states whether the tokens in this place merge		* <tt>place.merge</tt> — a Boolean value (1,0, true, false), which states whether the tokens in this place merge
	* <tt>place.mergeRule</tt> — the identifier of a characteristic GNTCFL function with a single parameter, which defines the way in which token characteristics merge		* <tt>place.mergeRule</tt> — the identifier of a characteristic GNTCFL function with a single parameter, which defines the way in which token characteristics merge

Vassia Atanassova: /* GN XML tags */

2009-05-08T10:20:25Z

GN XML tags

Vassia Atanassova at 20:27, 27 April 2009

2009-04-27T20:27:01Z

← Older revision		Revision as of 23:27, 27 April 2009
Line 1:		Line 1:
	__NOTOC__		__NOTOC__
	The [[generalized net]] model structure is defined in [[wikipedia:XML\|XML]] 1.0 syntax. A comprehensive set of XML tag and attribute definitions is shown on the following tree diagram. The tags are displayed in rectangles and the attributes - in ellipses. Required attributes are underlined.		The [[generalized net]] model structure is defined in [[wikipedia:XML\|XML]] 1.0 syntax. See also '''[[GNschema.xsd]]'''.

			A comprehensive set of XML tag and attribute definitions is shown on the following tree diagram. The tags are displayed in rectangles and the attributes - in ellipses. Required attributes are underlined.

	[[Image:GN-tree-diagram.png\|center\|border\|700px]]		[[Image:GN-tree-diagram.png\|center\|border\|700px]]

Vassia Atanassova: New page: NOTOC The generalized net model structure is defined in XML 1.0 syntax. A comprehensive set of XML tag and attribute definitions is shown on the following tree di...

2009-04-27T20:16:31Z

New page: __NOTOC__ The generalized net model structure is defined in XML 1.0 syntax. A comprehensive set of XML tag and attribute definitions is shown on the following tree di...

New page

__NOTOC__
The [[generalized net]] model structure is defined in [[wikipedia:XML|XML]] 1.0 syntax. A comprehensive set of XML tag and attribute definitions is shown on the following tree diagram. The tags are displayed in rectangles and the attributes - in ellipses. Required attributes are underlined.

[[Image:GN-tree-diagram.png|center|border|700px]]

== GN XML tags ==
* <tt><gn></tt> — the root tag of the GN definition
* <tt><transitions>, <tokens>, <places></tt> — contain one or more definitions for transitions, tokens and places, respectively
* <tt><transition>, <token>, <place></tt> — contain a separate definition for each of the corresponding GN elements
* <tt><generator></tt> — a definition of a token generator, extends the <tt><token></tt> tag
* <tt><char></tt> — a named characteristic definition, contains the initial value of the characteristic. This can be:
** a real constant for type "double"
** a vector constant for type "vector" — a list of constants, enclosed in square brackets (for example: ''[1 "string" 3.5]'')
** any other value is treated like a string constant for type "string"
* <tt><functions></tt> — contain inline definitions of [[GNTCFL]] functions and empty <tt><import></tt> tags with filenames of files to import
* <tt><inputs>, <outputs></tt> — contain a list of the identifiers of the input and output places for the transition
* <tt><predicates></tt> — contains a list of the identifiers of predicates, defined in the GNCTFL file. The list describes the predicate matrix of the [[transition]], which is listed row by row, starting with the first. The list must contain exactly m.n identifiers, where m and n are the number of input and output places of the transition. Valid identifiers are also "true" and "false", which represent the corresponding constant predicates.

== GN XML attributes ==
* <tt>id</tt> — an identifier for the corresponding element. All identifiers must be unique.
* <tt>priority</tt> — a non-negative integer, stating the priority of the transition, token or place. Default priority is 0.
* <tt>gn.name</tt> — a description of the GN model
* <tt>gn.time</tt> — the lifetime of the model on the global time scale. Must be positive.
* <tt>import.fundefs</tt> — the name of the imported GNTCFL file used for characteristic functions and predicates for this model. A full absolute or relative path must be specified.
* <tt>place.capacity</tt> — an integer >= -1, which states the capacity of the place, default is -1 meaning infinity.
* <tt>place.char</tt> — the identifier of a characteristic function for the place, defined in the [[GNCTFL]] file. A valid identifier is also "ID" that represents the identity function, which is also the default characteristic function, if a value for this attribute is not specified.
* <tt>place.merge</tt> — a Boolean value (1,0, true, false), which states whether the tokens in this place merge
* <tt>place.mergeRule</tt> — the identifier of a characteristic GNTCFL function with a single parameter, which defines the way in which token characteristics merge
* <tt>token.host</tt> — the identifier of a place, where the token enters the GN
* <tt>token.entering</tt> — the time moment in which the token enters the GN model, a non-negative integer, default is 0 — the starting moment of the GN life.
* <tt>token.leaving</tt> — the time moment in which the token should leave the GN model ("die"). An integer >= -1, default is -1, meaning infinity.
* <tt>char.name</tt> — the name of the named characteristic, must be an identifier
* <tt>char.type</tt> — describes the type of the token characteristic. Possible values are "double", "string", "vector".
* <tt>char.history</tt> — an integer >= 1, showing the number of characteristics, which the token keeps as history. The value is 1 by default, stating that the token "remembers" only its last characteristic.
* <tt>generator.period</tt> — the period of a periodic generator. By default 1 (every step).
* <tt>generator.predicate</tt> — the activation condition of a conditional generator. By default "true" (every step).
* <tt>generator.type</tt> — a string, specifying the type of generator:
** periodic — emits a token every period time steps,
** conditional — emits a token on each time step, for which predicate evaluates to true.

== Example: test.xml ==
<source lang="xml">
<?xml version="1.0"?>
<gn name="A Test GN" time="10">
<transitions>
<transition id="Z1">
<inputs> P1 P2 </inputs>
<outputs> P2 </outputs>
<predicates>
true
less_than_10
</predicates>
</transition>
</transitions>
<places>
<place id="P1"/>
<place id="P2" char="inc"/>
</places>
<tokens>
<token id="T1" host="P1">
<char name="Default" type="double"> 0 </char>
</token>
</tokens>
<functions>
(defun inc "" () ()
(set (+ token 1)))
(defun less_than_10 "1;tokens.T1.char" () ()
(< #0 10))
</functions>
</gn>
</source>

== References ==
* [http://debian.fmi.uni-sofia.bg/~spooler/gnticker/GNticker.pdf GNTicker v 0.2: A Brief Description]

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

← Older revision		Revision as of 13:20, 8 May 2009
Line 7:		Line 7:

	== GN XML tags ==		== GN XML tags ==
	* <tt><gn></tt> — the root tag of the GN definition		* <tt><gn></tt> — the root tag of the [[generalized net]] (GN) definition
	* <tt><transitions>, <tokens>, <places></tt> — contain one or more definitions for ~~transitions~~, ~~tokens~~ and ~~places~~, respectively		* <tt><transitions>, <tokens>, <places></tt> — contain one or more definitions for [[transition]]s, [[token]]s and [[place]]s, respectively
	* <tt><transition>, <token>, <place></tt> — contain a separate definition for each of the corresponding GN elements		* <tt><transition>, <token>, <place></tt> — contain a separate definition for each of the corresponding GN elements
	* <tt><generator></tt> — a definition of a token generator, extends the <tt><token></tt> tag		* <tt><generator></tt> — a definition of a token generator, extends the <tt><token></tt> tag
	* <tt><char></tt> — a named characteristic definition, contains the initial value of the characteristic. This can be:		* <tt><char></tt> — a named characteristic definition, contains the initial value of the characteristic. This can be:
	** a real constant for type "double"		** a real constant for type "double",
	** a vector constant for type "vector" — a list of constants, enclosed in square brackets (for example: ''[1 "string" 3.5]'')		** a vector constant for type "vector" — a list of constants, enclosed in square brackets (for example: ''[1 "string" 3.5]''),
	** any other value is treated like a string constant for type "string"		** any other value is treated like a string constant for type "string".
	* <tt><functions></tt> — contain inline definitions of [[GNTCFL]] functions and empty <tt><import></tt> tags with filenames of files to import		* <tt><functions></tt> — contain inline definitions of [[GNTCFL]] functions and empty <tt><import></tt> tags with filenames of files to import
	* <tt><inputs>, <outputs></tt> — contain a list of the identifiers of the input and output places for the transition		* <tt><inputs>, <outputs></tt> — contain a list of the identifiers of the input and output places for the transition
	* <tt><predicates></tt> — contains a list of the identifiers of predicates, defined in the GNCTFL file. The list describes the predicate matrix of the [[transition]], which is listed row by row, starting with the first. The list must contain exactly ~~m.n~~ identifiers, where m and n are the number of input and output places of the transition. Valid identifiers are also "true" and "false", which represent the corresponding constant predicates.		* <tt><predicates></tt> — contains a list of the identifiers of predicates, defined in the GNCTFL file. The list describes the predicate matrix of the transition, which is listed row by row, starting with the first. The list must contain exactly ''m×n'' identifiers, where ''m'' and ''n'' are the number of input and output places of the transition. Valid identifiers are also "true" and "false", which represent the corresponding constant predicates.

	== GN XML attributes ==		== GN XML attributes ==

GN XML format - Revision history

Vassia Atanassova: /* GN XML attributes */

Vassia Atanassova: /* GN XML tags */

Vassia Atanassova at 20:27, 27 April 2009

Vassia Atanassova: New page: __NOTOC__ The generalized net model structure is defined in XML 1.0 syntax. A comprehensive set of XML tag and attribute definitions is shown on the following tree di...

Vassia Atanassova: New page: NOTOC The generalized net model structure is defined in XML 1.0 syntax. A comprehensive set of XML tag and attribute definitions is shown on the following tree di...