Keyword: data abstraction

• Hopkins, Richard; Hall, Jon; Botti, Oliver:
  A Basic-Net Algebra for Program Semantics and its Application to OCCAM. 1992.

• Krämer, Bernd; Luqi,; Berzins, Valdis:
  High-Level-Net Semantics of a Real-Time Prototyping Language. 1991.

• Battiston, E.:
  Una Specifica del Sistema Ascensore con le Reti OBJSA. 1990.

• Krämer, B.:
  SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual. 1986.

• Krämer, B.:
  Formal and Semi-Graphic Specification of Non-Sequential Systems. 1984.

Back to the Petri Nets Bibliography