For the most recent entries see the Petri Nets Newsletter.

Petri Net Analysis of Formal Specifications in SDL.

Fischer, J.; Holz, E.

In: Petri Net Newsletter No. 36, pages 22-23. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, August 1990.

Keywords: net analysis (of specifications in) SDL.


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

Back to the Petri Nets Bibliography