Collective-and Individual-token semantics for bounded Petri nets - 42Papers