For the most recent entries see the
Petri Nets Newsletter
.
Keyword: liveness preservation
Esparza, Javier
;
Silva, Manuel
:
On the Analysis and Synthesis of Free Choice Systems.
1991.
Chen, Yigang
;
Tsai, W.T.
:
An Algebraic Approach to Petri Net Reduction and its Application to Protocol Analysis.
1990.
Souissi, Younes
:
On Liveness Preservation by Composition of Nets via a Set of Places.
1990.
Souissi, Younes
:
Property Preservation by Composition of Petri Nets; Extension to FIFO Nets and Application to Communication Protocols.
1990.
Valmari, Antti
:
Stubborn Sets for Reduced State Space Generation.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography