|
elements |
Condition/Event nets |
Place/Transitio nets |
Colored nets |
High Level nets |
---|---|---|---|---|---|
Core |
identifier |
|
|
|
|
token type (color domain) |
|
|
|
| |
Others |
place type |
|
|
|
|
capacity |
|
|
|
| |
time |
|
|
|
|
|
elements |
Condition/Event nets |
Place/Transitio nets |
Colored nets |
High Level nets |
---|---|---|---|---|---|
Core |
place reference |
|
|
|
|
value |
|
|
|
|
|
elements |
Condition/Event nets |
Place/Transitio nets |
Colored nets |
High Level nets |
---|---|---|---|---|---|
Core |
identifier |
|
|
|
|
guard |
|
|
|
| |
Others |
transition type |
|
|
|
|
delay |
|
|
|
| |
priority |
|
|
|
| |
probability |
|
|
|
| |
time |
|
|
|
|
|
elements |
Condition/Event nets |
Place/Transitio nets |
Colored nets |
High Level nets |
---|---|---|---|---|---|
Core |
identifier |
|
|
|
|
place reference |
|
|
|
| |
transition reference |
|
|
|
| |
label |
|
|
|
| |
Others |
arc type |
|
optional (test, inhibitor) |
optional (test, inhibitor) |
optional (test, inhibitor, etc.) |
guard |
|
|
|
|
|
elements |
Condition/Event nets |
Place/Transitio nets |
Colored nets |
High Level nets |
---|---|---|---|---|---|
Core |
place* |
| |||
transition* |
| ||||
arc* |
| ||||
declaration |
|
|
composed classes, variables (bag functions are explicitely declared) |
composed classes, variables, users' functions, S-algebra etc. | |
|
root class |
| |||
optional classification* |
|
net_definition | net definition net_combination*. Parenthesis like balises may allow the definition of a tree-hierarchy.