Petri Net Newsletter No. 36

• Abellard, P.; Salgon, E.; Richon, C.; Balmat, J.F.:
  PFLUX: A Software Tool for Data Flow Petri Net Design. 1990.

• Baumgarten, Bernd:
  The Alternating Bit Protocal (Revisited). 1990.

• Bause, Falko:
  Problems in Combining Qualitative and Quantitative Analysis Using Generalized Stochastic Petri Nets. 1990.

• Fischer, J.; Holz, E.:
  Petri Net Analysis of Formal Specifications in SDL. 1990.

• Hanisch, Hans-Michael:
  Analysis of Timed Petri Nets by means of Dynamic Graphs. 1990.

• Petrucci, L.:
  Combining Finkel's and Jensen's Reduction Techniques to Build Covering Trees for Coloured Nets. 1990.

• Reisig, W.:
  The Asynchronous Stack Revisted. 1990.

Back to the Petri Nets Bibliography