GitHub repository: rolandweber/PetrinetFun
Primary language: HTML
Created: 2019-05-25T19:27:54Z
Description: Visualization of Petri net invariants