For the most recent entries see the Petri Nets Newsletter.

Petrinetzanalyse von SDL-Spezifikationen.

Fischer, J.; Leipner, P.

In: 1988: Wissenschaftliche Tagungen der TU Karl-Marx-Stadt, DDR, No. 12, pages 14-22. 1988. In German.

Abstract: Das Einsatzgebiet der Sprache SDL im Zuge der weltweiten Digitalisierung von Nachrichtenvermittlungssystemen hat sich insbesondere auf die Spezifikation von verteilten Kommunikationssoftware, in Gestalt von Diensten und Protokollen, ausgeweitet. Für die Analyse von SDL-Spezifikationen wird die Bereitstellung eines Werkzeugspektrums angestrebt, das in der Arbeit vorgestellt und diskutiert wird.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography