Peer Model

Coordination scenarios have high demands on concurrency and interaction.
However, these are typical sources for flaws in both design and implementation.
A modeling approach enables reasoning about distributed algorithms and finding deficiencies right from the beginning.
The Peer Model has been introduced as a modeling tool for distribution, concurrency and blackboard-based collaboration and coordination, relying on known foundations like tuple spaces, Petri nets and Actor Model.

Download: Peer Model Tool Chain.