For the most recent entries see the Petri Nets Newsletter.

Keyword: SEGRAS

Schmidt, Heinz W.:
Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets. 1990.
Schmidt, Heinz W.:
Analysis of Petri Nets in the GRASPIN Environment. 1990.
Krämer, B.:
SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual. 1986.
Krämer, B.:
Formal and Semi-Graphic Specification of Non-Sequential Systems. 1984.

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

Back to the Petri Nets Bibliography