Popular repositories

1. mcc mcc Public

   High-Level Nets Blaster for the Model-Checking Contest

   Go 10 1

2. rudd rudd Public

   Rudd is a Binary Decision Diagram (BDD) library written in pure Go.

   Go 6 1

3. nets nets Public

   Nets is a Go library for parsing Petri nets, and Time Petri nets, written using the textual description format of the Tina toolbox

   Go 5

4. hue hue Public

   A random walk explorer for colored Petri nets

   Go 2 1

5. docker-twina docker-twina Public

   docker file for generating the twina image

   TeX 1

6. 4IR_MSC 4IR_MSC Public

   files and information for the course on "Modélisation des Systèmes Concurrents"

   q 5