Värvitud Petri võrgud CPN eksami konspekt
CPN model has a global clock.
In hierarchical timed CPN model a single global clock shared among all of the modules.
Timestamps are non-negative integers which specifies when a token is ready to be used.
First timed model seletus(In the initial marking M0 only one binding element and has the
required tokens on its input places; Marking M1 when SendPacket occurs at time 0 in M0; M2 when
TransmitPacket occurs at time 9 in M1; M3 reached when ReceivePacket occurs at time 47 in M2; M5
reached when ReceiveAck occurs at time 97 in M4; M6 reached when SendPacket occurs at time 104 in
M5)
Second Timed model seletus (M1 reached when SelectNext occurs at time 0 in M0; M2 reached
when SendPacket occurs at time 0 in M1; M3 where an acknowledgement arrives at time 94; M4
reached when ReceiveAck occurs at time 94 in M3; M2 reached when StopTimer occurs at time 101 in
annaabi.ee 
