Keyword: SDL

• Aalto, Annikka; Husberg, Nisse; Varpaaniemi, Kimmo:
  Automatic Formal Model Generation and Analysis of SDL. 2003.

• Grahlmann, Bernd:
  Parallel Programs as Petri Nets. 2001.

• Fleischhack, Hans; Grahlmann, Bernd:
  Towards compositional verification of SDL systems. 1998.

• Husberg, Nisse:
  Verifying SDL programs using Petri nets. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1998.

• Grahlmann, Bernd:
  Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1997.

• Anisimov, N.A.; Kovalenko, A.A.; Tarasov, G.V.; Inzartsev, A.V.; Scherbatyuk, Ph.:
  A Graphical Environment for the AUV Mission Programming. 1997.

• Pätzold, P.:
  Erreichbarkeitsanalyse in verteilten Systemen mit Petri-Netzen. 1990.

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

• Munemori, J.; Mizuno, T.; Takeda, S.:
  An Extension of SDL for the Executable Specification of Communication Systems Based Upon Petri Nets. 1988.

Back to the Petri Nets Bibliography