Workcraft is a framework for working with interpreted graph models. It can be used to draw, verify and convert between many types of directed graphs as well as synthesise digital circuits from them. The software is developed by the μsystems group at the University of Newcastle and is used for academic research and commercial development of asynchronous systems. More information can be found on the Workcraft homepage.
I have created and continue to maintain two packages residing in the Arch User Repository (AUR). The package ‘workcraft’ installs a stable version of workcraft from the main website, whilst ‘workcraft-git’ builds Workcraft from the latest source on Github (this may be unstable). The packages can be found at the links below or installed using your favourite AUR helper.