Coloured Petri Nets: Alternating Bit Protocol
{"Image DocumentName": "Coloured Petri Nets: Alternating Bit Protocol", "Image ImageDescription": "Het kan ook door complementaire plaatsen. Het protocol moet de volgorde van de data frames bewaren, en er mogen er ook geen verloren gaan. Deze voorstelling kan gezien worden als specificatie van het protocol. De d fungeert nu als een variabele, met als mogelijke waarden de waarden van de data frames.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}