For the most recent entries see the
Petri Nets Newsletter.
Die Spezifikations- und Entwurfsprache SEGRAS.
Krämer, B.
In:
Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, pages 107-116.
Forkel-Verlag,
July 1986.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography