A Petri net-based environment for GUI design
X. Li, L. Warwick, B. Mugridge, John Hosking · 2002
We describe PUIST, a visual environment for graphical user 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, analysis and prototyping.