Developing user interfaces: ensuring usability through product & process
Developing user interfaces: ensuring usability through product & process
An approach to the formal analysis of user complexity
International Journal of Human-Computer Studies - Special issue: 1969-1999, the 30th anniversary
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
On Petri Nets with Stochastic Timing
International Workshop on Timed Petri Nets
Design of User-Driven Interfaces Using Petri Nets and Objects
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
| Hi-index | 0.00 |
This paper addresses the problem of the representation of time in interactive software models. We aim at providing solutions allowing the software designers to efficiently use time modelling during the design process, and to check that the software being built actually corresponds to the temporal requirements. The modelling approach makes a precise distinction between qualitative and quantitative time modelling. The qualitative aspects are presented according to basic constructs of Petri nets while quantitative aspects are introduced according to several extensions to the basic constructs of Petri nets. Each of those constructs is presented on a simple example.