Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
pn2mc:rtcpn_modelling [2014/11/20 23:22] jbiernacki [Arcs] | pn2mc:rtcpn_modelling [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 2: | Line 2: | ||
This chapter covers RTCP-nets modelling in CPN Tools environment. | This chapter covers RTCP-nets modelling in CPN Tools environment. | ||
- | This approach to the modelling of RTCP-nets was originally introduced in master' | + | This approach to the modelling of RTCP-nets was originally introduced in master' |
---- | ---- | ||
Line 136: | Line 136: | ||
Arcs in the RTCP-nets may be unidirectional or bidirectional (equivalent of a pair of arcs). | Arcs in the RTCP-nets may be unidirectional or bidirectional (equivalent of a pair of arcs). | ||
- | In the second case two expressions are assocaited with the arc: the input expression defining tokens added to the place and the output expression | + | In the second case two expressions are assocaited with the arc: the input expression defining tokens added to the place and the output expression |
* Input expression, | * Input expression, | ||
* Output expression, | * Output expression, | ||
- | * Timed expression | + | * Time input expression, |
- | * Timed expression | + | * Time output |
+ | |||
+ | CPN Tools allows users to associate only one expression. To assign to two expressions to one arc the following format of the label was invented: | ||
+ | |||
+ | '' | ||
+ | |||
+ | Parts '' | ||
+ | |||
+ | In the figure below the arc connected to place A has value '' | ||
+ | |||
+ | {{: | ||
**[[: | **[[: |