13. Petrinet Design of a Whiteboard Voting System
Werner Van Belle1 - firstname.lastname@example.org, email@example.com
1- Programming Technology Lab (PROG)
Department of Computer Science (DINF)
Vrije Universiteit Brussel (VUB); Pleinlaan 2; 1050 Brussel; Belgium
Continues upon the previous excercise. In this exercise we model a voting system using Petrinets. This exercise was givemn in 2002-2003
Werner Van Belle; Petrinet Design of a Whiteboard Voting System;
Exercise 1: Design of a voting system
In this exercise we will try to draw the schematics of our
previous used 'vote to continue' strategy. However, we will do
this in steps.
Draw a CPNet of a repeater. This CPNet should have the
following places: 'inmessage', 'outmessage', connected' and
Extend this Petri-net with the following places: 'timeout”,
'dead', 'connect'. The timeout place receives a token if a
client times out when sending a message. The dead place should
contain all clients that are dead and the connect place
contains a token if a client connects (or reconnects).
Extend the Petri-net to flush outgoing messages to dead
Extend the Petri-net with a transition that goes from
repeating to blocking in such a way that the Petri-net behaves
Change the connected and dead places so that, the number of
elements is known.
Extend the popping of incoming messages such that a
differentiation on ordinary messages and voting messages is
Finish the exercise...
2 Exercise 2: Implementation
Given the Petri-net investigate how you can implement it.