Skip to content

Changes

Page history
Updated The required model file (markdown) authored by carinapi's avatar carinapi
Hide whitespace changes
Inline Side-by-side
The-required-model-file.md
View page @ 428e9634
......@@ -9,7 +9,7 @@ Within the <places> section there can be an arbitrary number of <discre
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 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).
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 of 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.
......