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 21:47] jbiernacki | 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 79: | Line 79: | ||
* The type of port. | * The type of port. | ||
- | Marking of an RTCP-net has adopted the following format: '' | + | Marking of an RTCP-net has adopted the following format: '' |
- | Tokens are of different values are concatenated using the '//+//' operator. | + | Tokens are of different values are concatenated using the '' '+' '' operator. |
- | eg. the expression 2 (a) + (b) denotes that 2 tokens of value //a// and one token of value //b//. | + | eg. the expression |
An example of a RTCP-net created in the CPN Tools is presented in the figure below. | An example of a RTCP-net created in the CPN Tools is presented in the figure below. | ||
- | {{: | + | {{: |
+ | |||
+ | The net contains places: '' | ||
+ | tokens of value '' | ||
+ | '' | ||
+ | |||
+ | |||
+ | The value of the local clock is not supported by the CPN-Tools. Its value is placed on the model in the following notation: | ||
+ | |||
+ | '' | ||
+ | |||
+ | The figure below shows the net on which to '' | ||
+ | |||
+ | {{: | ||
+ | |||
+ | |||
+ | An example of a fusion is shown in the figure below. It's the fusion of places '' | ||
+ | type and have equivalent initialization functions. | ||
+ | |||
+ | {{: | ||
+ | |||
+ | |||
+ | In the next example | ||
+ | The transition T is a substitution transition, and the page containing it is a superpage. | ||
+ | |||
+ | {{: | ||
+ | |||
+ | |||
+ | In figure below is a subpage. | ||
+ | |||
+ | {{: | ||
+ | |||
+ | Socket '' | ||
+ | corresponds to port '' | ||
+ | |||
+ | |||
+ | ==== Transitions ==== | ||
+ | |||
+ | RTCP-net transitions are described by the following parameters: | ||
+ | |||
+ | * Name, | ||
+ | * Priority, | ||
+ | * Guard, | ||
+ | * An indication of the hierarchy. | ||
+ | |||
+ | The RTCP-nets, in cotrast to the colored nets, time is not associated with transitions. In the model presented in the figure below, there are two transitions: | ||
+ | |||
+ | {{: | ||
+ | |||
+ | ==== 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 specifying tokens removed from it. These expressions can optionally contain time expressions. Therefore, to the arc can be assigned following parameters: | ||
+ | |||
+ | * Input expression, | ||
+ | * Output expression, | ||
+ | * Time input expression, | ||
+ | * Time output expression. | ||
+ | |||
+ | |||
+ | 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 '' | ||
+ | |||
+ | {{: | ||
- | The net has a place | ||
**[[: | **[[: |