For the most recent entries see the Petri Nets Newsletter.

Keyword: SEGRAS specification language

Krämer, B.:
SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual. 1990.
Krämer, B.:
Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems. 1989.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography