International audienceThis position paper claims that dealing explicitly with temporal issues in task modelling requires adequate notations and tools. After a brief state of the art in the field of temporal modelling within tasks models we show on a simple case study various kinds of temporal constraints that should or could be integrated in task models. The notation we use is based on a formal description technique called Petri nets. This formalism feature a graphical representation as well as tools supporting the analysis and simulation of models. Even though our experience in the field of task modelling has shown that Petri nets are not easy to use by non computer scientists, we believe that some of the constructs for representing tempor...
Constructing catalogue of temporal situations The paper is aiming to create a common basis for desc...
In this chapter we introduce a formalism, Time Petri Nets (TPNs), to model real-time systems. We com...
This thesis is concerned with the modelling of real-time systems using Petri nets. We investigate bo...
AbstractVarious models of time Petri Nets have been successfully used to adequately specify time-cri...
Abstract – The framework of Petri nets is extended with imprecise temporal properties. Possibility t...
Petri nets have been widely used for modeling and analyzing concurrent systems. Several reasons cont...
In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the ...
Abstract Task models and problem solving methods can be specified informally or formally. In recent ...
this paper is to investigate time in task performance by applying a particular modelling notation, a...
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, wh...
This paper deals with the application of notions from planning and the representation of temporal...
AbstractThis paper presents a formalism called Time Interval Petri Nets (TIPNs), which are designed ...
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, eng...
Abstract—This paper is an extension of an earlier work on a methodology for modeling temporal aspect...
Constructing catalogue of temporal situations The paper is aiming to create a common basis for desc...
In this chapter we introduce a formalism, Time Petri Nets (TPNs), to model real-time systems. We com...
This thesis is concerned with the modelling of real-time systems using Petri nets. We investigate bo...
AbstractVarious models of time Petri Nets have been successfully used to adequately specify time-cri...
Abstract – The framework of Petri nets is extended with imprecise temporal properties. Possibility t...
Petri nets have been widely used for modeling and analyzing concurrent systems. Several reasons cont...
In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the ...
Abstract Task models and problem solving methods can be specified informally or formally. In recent ...
this paper is to investigate time in task performance by applying a particular modelling notation, a...
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, wh...
This paper deals with the application of notions from planning and the representation of temporal...
AbstractThis paper presents a formalism called Time Interval Petri Nets (TIPNs), which are designed ...
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, eng...
Abstract—This paper is an extension of an earlier work on a methodology for modeling temporal aspect...
Constructing catalogue of temporal situations The paper is aiming to create a common basis for desc...
In this chapter we introduce a formalism, Time Petri Nets (TPNs), to model real-time systems. We com...
This thesis is concerned with the modelling of real-time systems using Petri nets. We investigate bo...