"SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and ..."

Bernd J. Krämer (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics