Keyword: abstract data type

• Battiston, Eugenio; Petrucci, Laure; Rapanotti, Lucia:
  Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes. 1991.

• Krämer, Bernd:
  Introducing the GRASPIN Specification Language SEGRAS. 1991.

• Petrucci, Laure:
  Techniques d'Analyse des Réseaux de Petri Algébraiques. 1991.

• Billington, Jonathan:
  Many-Sorted High-Level Nets. 1990.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  The Properties of Algebraic Net Schemes in Some Semantics. 1990.

• Korczynski, W.; Dupmeier, C.; Suess, W.:
  Eine Einführung in die Grundlagen der Theorie der Höheren Petri-Netze. 1990.

• Krämer, B.:
  SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual. 1990.

• Buchs, Didier; Guelfi, Nicolas:
  CO-OPN: A Concurrent Object Oriented Petri Net Model. 1990.

• Schmidt, Heinz W.:
  Analysis of Petri Nets in the GRASPIN Environment. 1990.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  The Properties of Algebraic Nets Schemes in some Semantics. 1990.

• Berthelot, G.; Pétrucci, L.:
  Putting Algebraic Nets into Practice. 1989.

• Krämer, B.:
  Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems. 1989.

• Reisig, Wolfgang:
  Petri Nets and Abstract Data Types. 1989.

Back to the Petri Nets Bibliography