"transmitpacket" - 1 õppematerjal

Värvitud Petri võrgud CPN eksami konspekt

b+, represents a successful transmission over the network. When it occurs the data packet (1,"COL") is removed from the input place A. A new token representing the same data packet is added to the output place B b−, represents an unsuccessful transmission. When this binding occurs the data packet (1,"COL") is removed from the input place A. No token is added to the output place B If the binding element b++ occurs, arc expression on the arc from TransmitPacket to B evaluates to 2‘Data({seq=1,data="COL"}) 9.Net structure and inscriptions  10.Occurrence of steps 11.Model parameterization  RECV.all is a predefined color set function (– takes a unit () as an argument– returns the list representation of a multiset– containing one appearance of each of the colors in RECV)  List.map is also a predefined function (– takes a function and a list as arguments – applies the