For the most recent entries see the Petri Nets Newsletter.

SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual.

Krämer, B.

2: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 26. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, July 1986.

Keywords: SEGRAS, (preliminary reference manual); predicate/event net; horn clause logic; 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