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