Download:
|
by S. Gaubert, J. Mairesse
http://www.liafa.jussieu.fr/~mairesse/Article/taskres9.ps.gz
Add To MetaCart
Abstract:
We show that a typical class of timed concurrent systems can be modeled as automata with multiplicities in the (max,+) semiring. This representation can be seen as a timed extension of the logical modeling in terms of trace monoids. We briefly discuss the applications of this algebraic modeling to performance evaluation. 1
Citations
|
236
|
Cooperating Sequential Processes
– DIJKSTRA
- 1968
|
|
186
|
Regular Algebra and Finite Machines
– Conway
- 1971
|
|
153
|
Synchronization and Linearity
– Baccelli, Cohen, et al.
- 1992
|
|
148
|
editors. The Book of Traces
– Diekert, Rozenberg
- 1995
|
|
124
|
Rational series and their languages
– Berstel, Reutenauer
|
|
92
|
Problèmes Combinatoires de Commutation et RéArrangements
– Cartier, Foata
- 1969
|
|
29
|
Ergodic theory of stochastic Petri networks
– Baccelli
- 1992
|
|
22
|
Performance evaluation of (max,+) automata
– Gaubert
- 1995
|
|
16
|
Products of irreducible random matrices in the (max,+) algebra
– Mairesse
- 1997
|
|
15
|
of pieces, I: Basic definitions and combinatorial lemmas
– Heaps
- 1986
|
|
10
|
Ergodic theorems for stochastic operators and discrete event networks
– Baccelli, Mairesse
- 1995
|
|
9
|
Scheduling and stability aspects of a general class of parallel processing systems
– Bambos, Walrand
- 1993
|
|
9
|
Synchronisation by resources sharing : a performance analysis
– Brilman, Vincent
- 1995
|
|
9
|
Speedup of recognizable trace languages
– Cerin, Petit
- 1993
|
|
7
|
Concurrency measure in commutation monoids
– Saheb
- 1989
|
|
5
|
Some ergodic results on stochastic iterative DEDS
– Vincent
- 1994
|
|
4
|
On a class of stochastic recursive equations arising in queuing theory
– Baccelli, Liu
- 1992
|
|
2
|
Sur certaines familles de series formelles. These de doctorat d'etat, Universit e Paris VII
– Fliess
- 1972
|
|
1
|
Scheduling and simulation of timed Petri nets using (max,+) automata
– Gaubert, Mairesse
- 1995
|
|
1
|
Ergodic theory of stochastic discrete event systems. This volume
– Baccelli, Mairesse
|
|
1
|
Performance evaluation of timed automata. Rapport de recherche
– Gaubert
- 1922
|
|
1
|
Task resource models, scheduling, and conservative Petri nets
– Gaubert, Mairesse
- 1995
|
