A Petri net-based environment for GUI design

Abstract

We describe PUIST, a visual environment f o r 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 PVIST to be used f o r complex interface component specification, analysis and prototyping.