For the most recent entries see the
Petri Nets Newsletter.
Formal and Semi-Graphic Specification of Non-Sequential Systems.
Krämer, B.
2: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 12.
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH,
September 1984.
Keywords:
graphic specification; SEGRAS; data abstraction; high level net.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography