Observable liveness of Petri nets (Q2340254): Difference between revisions
From MaRDI portal
Latest revision as of 23:45, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Observable liveness of Petri nets |
scientific article |
Statements
Observable liveness of Petri nets (English)
0 references
16 April 2015
0 references
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.
0 references
Petri nets
0 references
liveness
0 references
observational transitions
0 references