For the most recent entries see the Petri Nets Newsletter.

Keyword: bounded free choice net

Esparza, J.:
Reduction and Synthesis of Live and Bounded Free Choice Nets. 1991.
Campos, Javier:
Performance Bounds for Synchronised Queueing Networks. 1990.
Esparza, Javier; Silva, Manuel:
Compositional Synthesis of Live and Bounded Free Choice Nets. 1990.
Esparza, J.; Silva, M.:
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. 1989.
Vogler, Walter:
Live and Bounded Free Choice Nets have Home States. 1989.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography