JoandersonG/TlockPlugin

Eclipse Plugin for choreography BPMN modelling conversion to piADL and deadlock testing

This repository is not active