libpetri-verification v5.0.0 — Formal verification for libpetri Coloured Time Petri Net engine

Sign in to join the discussion — your thebay.events account works here.