A library to express colored petri nets and analyze their behavior.
published 1.5.1 3 months agoCompiles pseuCo programs to colored Petri nets.
published 2.0.2 8 days agoCompiles pseuCo programs to Promela
published 1.1.0 2 years agoStatic Semantics analysis (including type checking) for pseuCo programs.
published 2.1.0 a month ago