GitHub repository: nicolasAmat/Kong
Primary language: Python
Description: Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).