Intro

A distributed and conservative Petri net simulator using the Chandy-Mysra-Bryant algorithm to avoid global deadlock.

For further information check out the Spanish report.

Architecture

Class diagram.

State/activity diagram.

Setup

• Define the LEFs (Linear Enabling Functions) of the different subnets in the files <prefix>.subred.json located in cmd/distsim/testdata
• Define in the the *.network.json files the information relative to the nodes/machines used for simulating the respective Petri subnets.
• To run the tests, execute the script run.sh

Legal info

This project is part of an academic project of the subject Distributed Systems and Networking (Master's degree in IT Engineering). The distributed Petri nets simulator was developed from a centralized simulator provided by the prof. Arronategui Arribalzaga, Unai.