Basic qualitative properties of Petri nets with multi-guarded transitions | Publicación