A Term Representation of P/T Systems. - Cheryl Dietz; Gerlinde Schreiber (Application and Theory of Petri Nets, 1994)

Graphical Formalization of Real-Time Requirements. - Cheryl Dietz (FTRTFT, 1996)

Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. - Henning Dierks; Cheryl Dietz (FME, 1997)