Petri Net Newsletter No. 35

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

• Desel, Jörg; Reisig, Wolfgang; Walter, Rolf:
  The Alternating Bit Protocol: Fairness Versus Priority. 1990.

• Petri, Carl Adam; Yuan, Chong Yi:
  On Technical Safety and Security (continued). 1990.

• Seiche, W.:
  Control Synthesis Based on a Graph-Theoreticel Petri Net Analysis. 1990.

• Suraj, Zbigniew:
  GRAPH: A Graphical System for Petri Net Design and Simulation. 1990.

• Tabakow, I.G.:
  PN-Fault Detectability and Circuit Realization Fault Detectability are Equivalent. 1990.

Back to the Petri Nets Bibliography