A class of Petri nets with a convex reachability set | IEEE Conference Publication | IEEE Xplore