Petri net based graphical user interface specification tool

PUIST is a specification tool that is being created for software development and software engineering education. It assists user interface designers in specifying the static form and dynamic behaviour of graphical user interfaces (GUI). It also assists teachers in demonstrating specification principles and provides training opportunities for students in software specification and design. The dynamic behaviour of a user interface is specified by a Petri net. The Petri net is also used as a control engine in PUIST to enable rapid prototyping of the user interface.<
>