1. Recherche
97 résultats  enregistrer la recherche
...
inria-00073263v1  Rapport
François Baccelli, Dohy Hong. Analytic Expansions of (max,+) Lyapunov Exponents
RR-3427, INRIA. 1998
...
inria-00073324v1  Rapport
Philippe Darondeau. Deriving Unbounded Petri Nets from Formal Languages
[Research Report] RR-3365, INRIA. 1998
...
inria-00073561v1  Rapport
Eric Badouel, Philippe Darondeau. Stratified Petri Nets
[Research Report] RR-3128, INRIA. 1997
...
inria-00073350v1  Rapport
Eric Badouel, Javier Oliver. Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems
[Research Report] RR-3339, INRIA. 1998
...
inria-00070648v1  Rapport
Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras
[Research Report] RR-5355, INRIA. 2004, pp.28
...
inria-00073906v1  Rapport
François Baccelli, Sven Hasenfuss, Volker Schmidt. Expansions for Steady-State Characteristics in $(\max,+)$-Linear Systems
RR-2785, INRIA. 1996
...
inria-00074989v1  Rapport
François Baccelli, Panagiotis Konstantopoulos. Estimates of cycle times in stochastic Petri nets
[Research Report] RR-1572, INRIA. 1991, pp.18
...
inria-00074617v1  Rapport
Jean-Marie Proth, Liming Wang, Xiaolan Xie. A class of Petri nets for manufacturing system integration
[Research Report] RR-2055, INRIA. 1993, pp.28
...
inria-00074865v1  Rapport
Xiaolan Xie. Superposition properties and performance bounds of stochastic timed event graphs
[Research Report] RR-1807, INRIA. 1992, pp.26
...
inria-00074765v1  Rapport
G. Harhalakis, M. Leventopoulos, C.P. Lin, R. Nagi, Jean-Marie Proth. A Class of conflict-free Petri nets used for controlling manufacturing systems
[Research Report] RR-1908, INRIA. 1993, pp.25
...
inria-00075447v1  Rapport
Saïd Laftit, Jean-Marie Proth. Evaluation of job-shops with random manufacturing times : a Petri net approach
[Research Report] RR-1112, INRIA. 1989, pp.15
...
inria-00077003v1  Rapport
Jean-Marie Proth, Nathalie Sauer, Xiaolan Xie. Stochastic timed event graphs : bounds, cycle time reachability and marking optimization
[Research Report] RR-1763, INRIA. 1992, pp.18
...
inria-00001089v1  Rapport
Mikhail Foursov, Christiane Hespel. Weighted Petri nets and polynomial dynamical systems
[Research Report] PI 1781, 2006, pp.17
...
hal-00307927v1  Communication dans un congrès
M. Desainte-Catherine, Antoine Allombert. Specification of Temporal Relations Between Interactive Events
Proc. of the 1st Sound and Music Computing Conference (SMC), Ircam, Oct 2004, Paris, France. pp.71-77, 2004
...
inria-00073870v1  Rapport
Jean-Marie Proth, Nathalie Sauer. Continuous Approach of Scheduling Problems Based on Petri Nets
[Research Report] RR-2822, INRIA. 1996, pp.16
...
inria-00074318v1  Rapport
Jean-Marie Proth, Nathalie Sauer, Xiaolan Xie. Optimization of the number of transportation devices in a flexible manufacturing system using event graphs
[Research Report] RR-2359, INRIA. 1994, pp.18
...
inria-00074358v1  Rapport
Eric Badouel, Luca Bernardinello, Philippe Darondeau. Polynomial Algorithms for the Synthesis of Bounded Nets
[Research Report] RR-2316, INRIA. 1994
...
inria-00074264v1  Rapport
François Baccelli, Bruno Gaujal, Serguei Foss. Structural, temporal and stochastic properties of unbounded free-choice Petri nets
RR-2411, INRIA. 1994
inria-00099127v1  Communication dans un congrès
Bruno Gaujal, Stefan Haar. A limit Semantics for timed Petri Nets
5th Workshop on Discrete Event Systems - Wodes 2000, Aug 2000, Gent/Belgique, 8 p, 2000
...
inria-00000342v1  Rapport
Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets
[Research Report] PI 1740, 2005
...
tel-00925479v1  Thèse
Paul Istoan. Methodology for the derivation of product behaviour in a Software Product Line
Other [cs.OH]. Université Rennes 1, 2013. English. <NNT : 2013REN1S013>
inria-00100574v1  Communication dans un congrès
Bruno Gaujal, Alessandro Giua. Optimal routing of continuous timed Petri nets
E.F Camacho. 15th Ifac World Congress, Nov 2001, Barcelona, Spain. 6 p, 2001, PROCEEDINGS OF THE 15TH IFAC WORLD CONGRESS
inria-00100957v1  Communication dans un congrès
Asma Ghaffari, Fehmi Reben Njima, Nidhal Rezg, Xiaolan Xie. Design and coordination of partial Petri net controllers for a maximally permissive supervisory control
IEEE International Conference on Systems Man and Cybernetics - SMC'02, Oct 2002, Hammamet, Tunisie, 6 p, 2002
inria-00100952v1  Communication dans un congrès
Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Live and maximally permissive controller synthesis using the theory of regions
B. Caillaud, Ph. Darondeau, L. Lavagno and X.L. Xie. Symposium of the supervisory control of discrete event systems, Jul 2002, Paris, France, Kluwer Academic Publishers, 2002
...
inria-00504058v1  Rapport
Sandie Balaguer, Thomas Chatain, Stefan Haar. A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
[Research Report] RR-7338, INRIA. 2010, pp.22
inria-00100864v1  Communication dans un congrès
Stefan Haar, Laurent Kaiser, Françoise Simonot-Lion, Joël Toussaint. Equivalence of Timed State Machines and safe TPN
Manuel Silva, Alessandro Giua, José M. Colom. 6th International Workshop on Discrete Event Systems - WODES'02, 2002, Zaragoza/Spain, Spain. IEEE, pp.119-126, 2002
inria-00100895v1  Communication dans un congrès
Gülgün Alpan, Bruno Gaujal. Optimal routing in timed continuous Petri nets applied to scheduling assignment problems
IEEE. IEEE International Conference on Systems, Man and Cybernetics 2002 - IEEE SMC 2002, 2002, Hammamet/Tunisia, 2002
inria-00100960v1  Communication dans un congrès
Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Net transformation and theory of regions for optimal control of Petri nets
IFAC World Congress on Automatic Control, Jul 2002, Barcelone, Espagne, 6 p, 2002
inria-00100672v1  Communication dans un congrès
Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Conception du superviseur optimal vivant à l'aide de la théorie des régions
Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, Oct 2001, Toulouse, France, 17 p, 2001

Contact


archive-ouverte@inria.fr