petrinize
not defined yet