Pinned

1. ardoises ardoises Public

   Formal Modeling & Verification Platform

   Lua 2

2. cui-unige/mcc4mcc cui-unige/mcc4mcc Public

   Model Checker Collection for the Model Checking Contest @ Petri nets

   Python 4

3. lua-coronest lua-coronest Public

   Lua coroutines that allow nesting

   Lua 27 5

4. lua-c3 lua-c3 Public

   Implementation of the C3 linearization algorithm in Lua

   Lua 8 1

5. lua-copas-ev lua-copas-ev Public

   Copas using lua-ev

   Lua 8 1

6. cui-unige/petrisport cui-unige/petrisport Public

   A tool to compute some characteristics on sport Petri nets

   JavaScript 1