Skip to content

Changes

Page history
Updated The required model file (markdown) authored by carinapi's avatar carinapi
Show whitespace changes
Inline Side-by-side
The-required-model-file.md
View page @ 7246a72d
......@@ -5,13 +5,17 @@ Additional to this schema, you can find a rough overview here. A general knowled
The root XML element has to be <HPnG>. Within this root there can and should be the 3 kinds of model objects <places>, <transitions> and <arcs>.
Within the <places> section there can be an arbitrary number of <DiscretePlace> and <ContinuousPlace> elements.
Both should contain the unique attribute "id".
Within the <places> section there can be an arbitrary number of <DiscretePlace> and <ContinuousPlace> elements. Both should contain the unique attribute "id".
Discrete Places should also contain the attribute "marking" which implies the number of tokens of this place in the initial state and its value has to be convertible to an Integer value.
Continuous Places should have the attibutes "capacity" for the place's maximum fluid capacity and "level" for the fluid level of the place in the initial state, both values have the be convertible to Double values.
Within the <transitions> section there can be 5 kinds of transitions: <ImmediateTransition>, <DeterministicTransition>, <GeneralTransition>, <ContinuousTransition> and <DynamicContinuousTransition>.
Within the <transitions> section there can be 5 kinds of transitions: <ImmediateTransition>, <DeterministicTransition>, <GeneralTransition>, <ContinuousTransition> and <DynamicContinuousTransition>. Transitions should also contain an "id" attribute.
Immediate, deterministic and general transitions have the attributes "weight" (Double) and "priority" (Integer) for resolving conflicts. In addition deterministic transitions need the attribute "discTime" as Double compatible value for their time to fire after enabling.
General transitions also need the attribute "policy" which can have one of the values "resume", "repeatdifferent" or "repeatidentical", defining what happens to the enabling time when a general transition is disabled and enabled again. Furthermore the attribute "cdf" defines the cumultative distribution function for the firing of the transition and depending on this attribute different sub XML elements of the type <parameter> are needed with the attributes "name" and "value". See the list for all parameters needed.