"timestamps" - 1 õppematerjal

Värvitud Petri võrgud CPN eksami konspekt

system operations meet deadlines.  Times examples are non-hierarchical CPN model and in hierarchical CPN models can use timing constructs.  Main difference timed– second timestamp value for tokens– markings is now a timed multiset– 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)