A Petri net-based visual language for specifying GUIs
Xiaosong Li, WARWICK B. MUGRIDGE, John Hosking · 2002
We describe PUIST, a visual language for graphical interface specification and prototyping. PUIST uses a Petri net notation, with a declarative means of defining nets which have complex, yet regular interconnections. This significantly improves the understandability of large specifications, permitting PUIST to be used for complex interface component specification and prototyping.