A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorithms used in real-time systems Deterministic timed Petri nets do not adequately model the scheduling of resources encountered in real-time systems, and need to be augmented with resource places and signal places, and a scheduler block, to facilitate the modeling of scheduling algorithms. The tokens are colored, and the transition firing rules are suitably modified. Further, the concept of transition folding is used, to get intuitively simple models of multiframe real-time systems. Two generic performance measures, called "oad index" and "balance index," which characterize the resource utilization and the uniformity of workload distribution, re...
In this paper, we present a method for the timed analy-sis of real-time systems, taking into account...
A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at p...
Time Petri nets are commonly used for modelling and analyzing embedded systems, assembly lines, and ...
A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorit...
Abstract. We present a methodology of o-line analysis of real-time systems, composed of periodic, sy...
ABSTRACT. In order to analyze whether timing requirements of a real-time application are met, we pro...
Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of s...
This thesis introduces a new Petri net formulation for the general scheduling problem. The first par...
International audienceThe most widely used approach for verifying the schedulability of a real-time ...
In M-timed Petri nets, firing times are exponentially distributed random variables associated with t...
International audienceIn order to analyze whether timing requirements of a real-time application are...
This paper proposes a Petri Net based methodology for task scheduling on multiproces-sor architectur...
[[abstract]]We present a new net-reduction methodology to facilitate the analysis of real-time syste...
It is shown that the behavior of extended limited-choice Petri nets with exponentially distributed f...
International audiencePetri nets are a powerful formalism for the specification and verification of ...
In this paper, we present a method for the timed analy-sis of real-time systems, taking into account...
A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at p...
Time Petri nets are commonly used for modelling and analyzing embedded systems, assembly lines, and ...
A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorit...
Abstract. We present a methodology of o-line analysis of real-time systems, composed of periodic, sy...
ABSTRACT. In order to analyze whether timing requirements of a real-time application are met, we pro...
Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of s...
This thesis introduces a new Petri net formulation for the general scheduling problem. The first par...
International audienceThe most widely used approach for verifying the schedulability of a real-time ...
In M-timed Petri nets, firing times are exponentially distributed random variables associated with t...
International audienceIn order to analyze whether timing requirements of a real-time application are...
This paper proposes a Petri Net based methodology for task scheduling on multiproces-sor architectur...
[[abstract]]We present a new net-reduction methodology to facilitate the analysis of real-time syste...
It is shown that the behavior of extended limited-choice Petri nets with exponentially distributed f...
International audiencePetri nets are a powerful formalism for the specification and verification of ...
In this paper, we present a method for the timed analy-sis of real-time systems, taking into account...
A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at p...
Time Petri nets are commonly used for modelling and analyzing embedded systems, assembly lines, and ...