Observable liveness of Petri nets (Q2340254)

The paper introduces a new notion of liveness for Petri nets where a distinction is made between observable and non-observable transitions, and observable ones can moreover be controllable or not. As a matter of fact this observable liveness is related to the traditional liveness in many ways. In particular, the last one implies the former for 1-bounded Petri nets if conflicts possibly appear only between controllable transitions.