The top documents tagged [hybrid petri nets]