Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.Sign up
University of Évry - val d'Essonne
- Évry, France
SNAKES is the Net Algebra Kit for Editors and Simulators
Supplementary material for paper "Faster simulation of (coloured) Petri nets using parallel computing" in PETRI NETS 2017.
ZINC is a Net Compiler
Forked from tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD, Sylvan, and BuDDy
Forked from lip6/libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
Forked from lip6/libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.