# hy-petrinet

Implementation of Petri nets in Hy