GitHub repository: mstn/Petrix
Primary language: JavaScript
Description: Building Petri Nets in Javascript using Interaction Category semantics