Värvitud Petri võrgud CPN eksami konspekt
packagets to a receiver – unreliable communication network– use of sequence numbers,
acknowledgements, retransmissions)
Next to places an inscription determines token colours( colset NO = int) - NO is the sequence
number in the protocol - NOxDATA is the product of types NO and DATA - The colour sets are colset
DATA = string and colset NOxDATA = product NO * DATA - DATA is the payload - NOxDATA is the
data packets - The initial marking is in state PacketsToSend - ++and ‘ are operators used to construct a
multiset - The infix operator ‘ specifies the number of appearances - Transition occurs, removes tokens
from its input places - The transition adds tokens to its output places - Arc expressions determine which
tokens are removed
4.Concurrency and conflict
CPN allows to modelling concurrent systems
In the marking M1, three different binding elements are enabled:
annaabi.ee 
