Properties and steady-state performance bounds for Petri nets with unique repetitive firing count vector | Publicación