Finkel, A.

• Dufourd, Catherine; Finkel, Alain:
  A polynomial lambda-bisimilar normalization for reset Petri nets. 1999.

• Dufourd, C.; Finkel, A.:
  Polynomial-time many-one reductions for Petri nets. 1997.

• Finkel, A.; Petrucci, L.:
  Composition and decomposition of Petri nets and their coverability graphs (in Frech). 1994.

• Finkel, A.:
  The Minimal Coverability Graph for Petri Nets. 1993.

• Finkel, A.; Johnen, C.:
  Construction efficace du graphe de couverture minimal: application à l' analyse de protocole. 1991.

• Finkel, A.; Johnen, C.; Petrucci, L.:
  Compositional and parallel analysis of Petri nets. 1991.

• Finkel, A.; Petrucci, L.:
  Avoiding State Explosion by Composition of Minimal Covering Graphs. 1991.

• Finkel, Alain:
  Reduction and Covering of Infinite Reachability Trees. 1990.

• Finkel, Alain; Petrucci, Laure:
  Propriétés de la composition/décomposition de résaux de Petri et de leurs graphes de couverture. 1990.

• Berthelot, G.; Finkel, A.; Johnen, C.; Petrucci, L.:
  A Generic Example for Testing Performance of Reachability and Covering Graphs Construction Algorithms. 1990.

• Finkel, A.:
  Reduction and Covering of Infinite Reachability Trees. 1989.

• Finkel, A.:
  A Minimal Coverability Graph for Petri Nets. 1989.

• Finkel, A.; Johnen, C.:
  The Home State Problem in Transition Systems. 1989.

• Finkel, A.; Choquet, A.:
  Fifo Nets without Order Deadlock. 1988.

• Finkel, A.; Rosier, L.:
  A Survey on the Decidability Questions for Classes of FIFO Nets. 1988.

• Finkel, A.:
  A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems. 1987.

• Finkel, A.:
  Well Structured Transition Systems. 1987.

• Finkel, A.; Vidal-Naquet, G.:
  Structuration des Systemes de Transitions - Applications au Controle du Parallelisme par Files FIFO. 1986.

• Choquet, Annie; Finkel, Alain:
  A First Step about Boundedness Problem in an Extension of Free Choice Nets to Fifo. 1986.

• Finkel, A.:
  Une Generalisation de l'Arbre de Couverture aux Systemes de Transitions Bien Structures. 1986.

• Finkel, A.; Choquet, A.:
  An Extension of Free Choice Nets to Fifo. 1986.

• Choquet, A.; Finkel, A.:
  Applications of Residues for the Analysis of Parallel Systems Communicating by Fifo Channels. 1986.

• Finkel, A.:
  Free Choice FIFO Nets. 1986.

• Finkel, A.; Memmi, G.:
  An Introduction to FIFO Nets - Monogeneous Nets: A Subclass of FIFO Nets. 1985.

• Memmi, G.; Finkel, A.:
  An Introduction to FIFO Nets --- Monogeneous Nets: a Subclass of FIFO Nets. 1985.

• Finkel, A.:
  Boundedness and Liveness for Monogeneous FIFO Nets and for Free Choice FIFO Nets - Applications to Analysis of Protocols. 1985.

• Finkel, A.:
  Blocages et Vivacite dans les Reseaux a Pile-File. 1984.

• Finkel, A.:
  Petri Nets and Monogeneous FIFO Nets. 1984.

• Finkel, A.:
  New Results About Fifo Nets: Applications to Finite State Machines Communicating by Fifo Channels. 1984.

• Finkel, A.:
  Control of a Petri Net by a Finite Automaton. 1983.

• Finkel, A.:
  About Monogeneous Fifo Petri Nets. 1982.

• Finkel, A.; Memmi, G.:
  Fifo Nets: A New Model of Parallel Computation. 1982.

• Finkel, A.:
  Deux Classes de Reseaux a Files: les Reseaux Monogenes et les Reseaux Prefixes. 1982.

Back to the Petri Nets Bibliography