For the most recent entries see the Petri Nets Newsletter.

Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme.

Ahrens, K.; Fischer, J.; Holtz, E.; Schieferdecker, I.

In: Informationstechnik - IT, Vol. 32, No. 6, pages 400-409. December 1990. In German.

Abstract: The program system SDL-machine outlined aims at supporting the correct design of complex and complicated distributed software as in the telecommunication domain. SDL-machine primarily supports the design-accompanied analysis of systems specified in the standardized formal language SDL. The SDL-machine contains in its core a graphical editor, a compiler generating optionally C-code for simulation, Petri net analysis and virtual target execution, a run time system for execution of SDL-specifications and a database interface. The SDL-machine is available for MS-DOS and UNIX.

Keywords: telecommunication; net analysis; UNIX; MS-DOS; net tool.


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

Back to the Petri Nets Bibliography