For the most recent entries see the
Petri Nets Newsletter
Keyword: liveness preservation
On the Analysis and Synthesis of Free Choice Systems.
An Algebraic Approach to Petri Net Reduction and its Application to Protocol Analysis.
On Liveness Preservation by Composition of Nets via a Set of Places.
Property Preservation by Composition of Petri Nets; Extension to FIFO Nets and Application to Communication Protocols.
Stubborn Sets for Reduced State Space Generation.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography