For the most recent entries see the Petri Nets Newsletter.

ISAC - ein System zur Unterstützung der Systembeschreibung und der Systemanalyse.

Winter, D.; Scheschonk, G.; Gier, K.

In: Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, pages 97-106. 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