Stéphane Gaubert, Jean Mairesse  Home/Search
Context Related
| amadeus.inria.fr/gaubert/P...GM97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: amadeus.inria.fr/gaubert...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show that safe timed Petri nets can be represented by special automata over the (max,+) semiring, which compute the height of heaps of pieces. This extends to the timed case the classical representation `a la Mazurkiewicz of the behavior of safe Petri nets by trace monoids and trace languages. For a subclass including all safe Free Choice Petri nets, we obtain reduced heap realizations using structural properties of the net (covering by safe state machine components) . We illustrate the... (Update)
Context of citations to this paper: More
.... by topical maps and IFS; the extrema of the asymptotic height then correspond to the best and the worst throughput of the DES [Ba, Co, BV, GM1, GM2]. Among topical maps, a special role is played by max plus maps which appear in the modelling of event graphs, 1 bounded Petri...
...of systems behavior compared with pure logical methods. Maxalgebra has been widely used to as a timed model of DEDS. See [1] [3] for details. We will study event order in a max algebra framework. In practice, the timed models are inevitably non deterministic...
Cited by: More
Asymptotic Behavior in a Heap Model with Two Pieces - Mairesse, Vuillon (2000) (Correct)
Petri Nets, (max,+) Algebra And Scheduling - Mairesse (1997) (Correct)
Robust Control for a class of DEDS - Qianchuan, Da-Zhong (Correct)
Similar documents (at the sentence level):
22.4%: Modeling and Analysis of Timed Petri Nets Using Heaps of Pieces - Gaubert, Mairesse (1997) (Correct)
5.0%: Petri Nets, (Max,+) Algebra and Scheduling - Mairesse (1997) (Correct)
Active bibliography (related documents): More All
0.6: Annual progress report ALAPEDES - Contract Erb--Fmrx--Ct (Correct)
0.4: Blocking a transition in a Free Choice net - And What It (Correct)
0.3: Asymptotic height optimization for topical IFS, Tetris.. - Bousch, Mairesse (2000) (Correct)
Similar documents based on text: More All
0.5: Task Resource Models and (max,+) - Automata Gaubert Mairesse (Correct)
0.5: Asymptotic Throughput of Continuous Timed Petri Nets - Cohen, Gaubert, Quadrat (1995) (Correct)
0.3: Task Resource Models and (max,+) Automata - Gaubert, Mairesse (Correct)
Related documents from co-citation: More All
15: Synchronizationand Linearity (context) - Baccelli, Cohen et al. - 1992
13: Dynamics of synchronized parallel systems (context) - Brilman, Vincent - 1997
13: Idempotent analysis (context) - Maslov, Samborskii - 1992
BibTeX entry: (Update)
S. Gaubert and J. Mairesse. Modeling and analysis of timed Petri nets using heaps of pieces. In Proc. of the 4th European Control Conference (ECC'97), Brussels, July 1--4 1997. Submitted to IEEE-TAC. http://citeseer.ist.psu.edu/article/gaubert99modeling.html More
@misc{ gaubert97modeling,
author = "S. Gaubert and J. Mairesse",
title = "Modeling and analysis of timed Petri nets using heaps of pieces",
text = "S. Gaubert and J. Mairesse. Modeling and analysis of timed Petri nets using
heaps of pieces. In Proc. of the 4th European Control Conference (ECC'97),
Brussels, July 1--4 1997. Submitted to IEEE-TAC.",
year = "1997",
url = "citeseer.ist.psu.edu/article/gaubert99modeling.html" }
Citations (may not include all citations):413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
368 analysis and applications (context) - Murata, Properties - 1989
327 languages and machines (context) - Eilenberg - 1974
229 Synchronization and Linearity (context) - Baccelli, Cohen et al. - 1992
107 Rational Series and their Languages (context) - Berstel, Reutenauer - 1988
104 Automata Theoretic Aspects of Formal Powers Series (context) - Salomaa, Soittola - 1978
96 Scheduling Algorithms (context) - Brucker - 1995
92 Concurrent program schemes and their interpretations (context) - Mazurkiewicz - 1977
89 A linear system-theoretic view of discrete-event processes a.. (context) - Cohen, Dubois et al. - 1985
86 Stubborn sets for reduced state space generation (context) - Valmari - 1991
85 Trace theory (context) - Mazurkiewicz - 1987
59 The effect of execution policies on the semantics and analys.. (context) - Ajmone-Marsan, Balbo et al. - 1989
53 Analysis of asynchronous concurrent systems by timed Petri n.. (context) - Ramchandani - 1974
44 Idempotent analysis (context) - Maslov, Samborskii - 1992
27 Methods and applications (context) - Gaubert, Plus - 1997
25 Task resource models and (context) - Gaubert, Mairesse
24 Basic definitions and combinatorial lemmas (context) - Viennot, pieces - 1986
24 Timing Analysis and Verification of Timed Asynchronous Circu.. (context) - Hulgaard - 1995
23 Performance evaluation of job shop systems using timed event.. (context) - Hillion, Proth - 1989
22 Linear and Combinatorial Optimization in Ordered Algebraic S.. (context) - Zimmermann - 1981
22 Petri Nets: Central Models and Their Properties (context) - Brauer, Reisig et al. - 1987
20 Timed Petri net schedules (context) - Carlier, Chretienne - 1988
18 Publications of the Newton Institute (context) - Gunawardena, Idempotency - 1998
16 Dynamics of synchronized parallel systems (context) - Brilman, Vincent - 1997
15 On semigroups of matrices over the tropical semiring - Simon - 1994
15 Performance evaluation (context) - Gaubert - 1995
15 Combinatorics on traces (context) - Diekert - 1990
13 Scheduling Theory and Its Applications (context) - Chretienne, Coffman et al. - 1995
12 Algebraic system analysis of timed Petri nets - Cohen, Gaubert et al.
11 World Scientific Publ (context) - Diekert, Rosenberg et al. - 1995
10 Some ergodic results on stochastic iterative discrete events.. (context) - Vincent - 1997
8 volume 40 of Cambridge Tracts in Theoretical Comp (context) - Desel, Esparza et al. - 1995
7 Asymptotic throughput of continuous timed Petri nets - Cohen, Gaubert et al. - 1995
7 Tropical semirings - Pin
6 Free Choice Petri Nets: an Algebraic Approach - Baccelli, Foss et al. - 1996
6 Speedup of recognizable trace languages (context) - C'erin, Petit - 1993
3 On recognizable and rational formal power series in partiall.. (context) - Droste, Gastin - 1997
2 Th'eorie et pratique (context) - Brams - 1983
1 Mod'elisation et M'ethodes Math'ematiques en ' Economie (context) - Hautecloque, semianneau et al. - 1997
1 Notes in Economics and Math (context) - Cuninghame-Green, Number et al. - 1979
1 ese de Doctorat, Universit (context) - Libeaut, des et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://amadeus.inria.fr/gaubert/papers.html): More
Modeling and Analysis of Timed Petri Nets Using Heaps of Pieces - Gaubert, Mairesse (1997) (Correct)
Dynamics of Min-Max Functions - Cochet-Terrasson, Stéphane.. (1997) (Correct)
Linear Projectors in the max-plus Algebra - Cohen, Gaubert, Quadrat (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC