A Python toolkit for dealing with Petri nets over ontological graphs