Sidebar

Main

Internal

Trace:

Trace: • doc • features • quick_start • faq • compiler • introduction • rtcpn_modelling

Differences

This shows you the differences between two versions of the page.

--- 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 approach to the modelling of RTCP-nets was originally introduced in master's thesis of Joanna Woźniak entitled "Modelowanie RTCP-sieci z wykorzystaniem środowiska CPN-Tools" in 2014. With her permission, excerpts of her work here will be used to explain the principles of RTCP-nets modelling in the CPN Tools application.
+This approach to the modelling of RTCP-nets was originally introduced in master's thesis of Joanna Woźniak entitled 'Modelowanie RTCP-sieci z wykorzystaniem środowiska CPN-Tools' in 2014. With her permission, excerpts of her work here will be used to explain the principles of RTCP-nets modelling in the CPN Tools application.
 ----
@@ Line 136: / Line 136: @@
 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 secifying tokens removed there from it. These expressions can include optional time expression. Therefore, to the arc can be assigned parameters:
+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,
-  * Timed expression input,
+  * Time input expression,
-  * Timed expression output.
+  * 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:
+''in_exp @ time_in_exp | out_exp @ time_out_exp''
+Parts ''time_in_exp'' and ''time_out_exp'' can be omitted.
+In the figure below the arc connected to place A has value ''b'' assigned. It means that ''b'' token is added to this place after firing of transition ''T''. Variable ''x'' represents the token removed from place ''A''. The output expression has time value assigned and equal to 2. It denotes that the transition can be fired after 2 time units. The arc connecting the transition with place ''B'' contains expressions determining a token added to place ''B'' (the value of ''x'' variable) and the value of the local clock of place ''B'' (it will be set to 1).
+{{:pn2mc:rtcp_cpntools:rtcp_cpntools8.png?400|}}
 **[[:pn2mc:manual|Go back]]**