|
|
### The required model file
|
|
|
|
|
|
The model to be read in has to be an XML file which fulfils the requirements of the XMLSchema definition.
|
|
|
Additional to this schema, you can find a rough overview here. A general knowledge of hybrid petri nets is required.
|
|
|
The model to be read into the program has to be an XML file which fulfils the requirements of the XMLSchema definition.
|
|
|
Additional to this schema, you can find a rough overview here. (A general knowledge of hybrid petri nets is required.)
|
|
|
|
|
|
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".
|
|
|
|
|
|
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.
|
|
|
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 attributes "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.
|
|
|
Continuous places should have the attribute "capacity" for the place's maximum fluid capacity. The upper boundary can also be infinity by setting the value to "infinity" or "inf". The lower boundary for a place is always zero. Continuous places also need the attribute "level" for the fluid level of the place in the initial state. Both values, for capacity and level, have the be convertible to Double values (except the infinity case).
|
|
|
|
|
|
|
|
|
Within the <transitions> section there can be 5 kinds of transitions: <immediateTransition>, <deterministicTransition>, <generalTransition>, <continuousTransition> and <dynamicContinuousTransition>. Transitions should also contain an "id" attribute.
|
... | ... | |