Värvitud Petri võrgud CPN eksami konspekt
reached when ReceiveAck occurs at time 94 in M3; M2 reached when StopTimer occurs at time 101 in
M3; When a time delay inscription is used on a double-headed arc in a timed CPN model, it is a
shorthand for an arc in both directions with the same arc expression, including the time delay
inscription.
20.State space of Timed model
Each state space node now represents a timed marking
Occurrence sequence in a timed CPN model corresponds to untimed CPN model. Timed state
space is larger than untimed state space (nodes in timed state space are timed markings)- two timed
markings can be different (timing information makes more markings distinguishable)
State space timed seletus- M1 reached when SendPacket occurs at time 0 in M0; M2 reached
when TransmitPacket occurs at time 9 in M1)
21.Simulation based
Performance analysis evaluate existing or planned system-compare alternative implementations
annaabi.ee 
