… process that generates a user interface prototype from scenarios and yields a formal
specification of the system in form of a high-level Petri net. Scenarios are acquired in the form of …

… User interface prototyping based on UML scenarios and high-level petri nets, application
and theory of petri nets 2000. In Proceeding of the 21st International Conference on ATPN, …

… (Colored Petri Nets) are high-level Petri Nets whose tokens … we compared it with UML Activity
and Use Case diagrams [35… represent user interfaces before the development of prototypes …

… of Coloured Petri Nets, or more generally high-level Petri nets, as a … of UML diagrams, eg,[3].
A small number of examples of … literature, eg, design of user interfaces is described in [11]. …

… use cases, filtering and analyzing them using Colored Petri … of the reverse engineering of
UML sequence diagrams by a new … Finally, he can analyze the user interfaces to deduce how …

… object-oriented Petri net (HOONet), a high-level Petri net that … , analysis, and prototyping
of complex software systems. … HOONet modeling method and UML-based object-oriented …

… -Oriented Petri Net), which is a high-level Petri net supporting … When transferring the OMT/UML
model to the nets of … the modeling, analysis, and prototyping of complex software system. …

… [48] combined scenarios in terms of high-level Petri nets. … , scenarios and UML sequence
diagrams used as scenario … system by a graphical user interface. The specification of an …

… UML-based class-diagrams and event-based business rules. At the foundation-level, we are
proposing an innovative variant of adaptive high-level Petri Nets, … for some practical cases, …

… of user interface specifications, designer can draw interfaces … using, for example a high level
Petri-net model which can be … interface prototype from scenarios using UML and coloured …