This model implements a zeroconf protocol. The model shown below is designed with the PTA plugin of Plasma. The plasma project that contains this model can be downloaded here.
Implementation of a zeroconf protocol with Plasma Lab PTA plugin
This model can be equivalently implemented in Uppaal with the two timed automata shown below. The colouring of the Plasma Lab model corresponds to the colouring of the Uppaal models.
 Client of the zeroconf protocol implemented with Uppaal timed automata |
 Server of the zeroconf protocol implemented with Uppaal timed automata |
