H
hybrid petri nets