1. Recherche
48 résultats  enregistrer la recherche


  • 1
  • 2
...
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-00073668v1  Rapport
Eric Badouel, Philippe Darondeau. On the Synthesis of General Petri Nets
[Research Report] RR-3025, INRIA. 1996
...
inria-00074122v1  Rapport
Eric Badouel, Luca Bernardinello, Philippe Darondeau. The Synthesis Problem for Elementary Net Systems is NP-Complete
[Research Report] RR-2558, INRIA. 1995
...
inria-00074223v1  Rapport
Eric Badouel, Philippe Darondeau. Dualities between Nets and Automata Induced by Schizophrenic Objects
[Research Report] RR-2452, INRIA. 1995
...
inria-00074930v1  Rapport
Eric Badouel, Philippe Darondeau. Structural operational specifications and trace automata
[Research Report] RR-1631, INRIA. 1992
...
inria-00075309v1  Rapport
Eric Badouel, Philippe Darondeau. A note on guarded recursion
[Research Report] RR-1249, INRIA. 1990
...
inria-00075359v1  Rapport
Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz. Fairness, distances and degrees
[Research Report] RR-1199, INRIA. 1990
...
inria-00076420v1  Rapport
Philippe Darondeau. An elarged definition and complete axiomatization of observational congruence of finite processes
[Research Report] RR-0140, INRIA. 1982
...
hal-00429669v1  Pré-publication, Document de travail
Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Yang Shaofa. Quasi-Static Scheduling of Communicating Tasks.
2009
...
inria-00074095v1  Rapport
Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are recognizable
[Research Report] RR-2588, INRIA. 1995
...
inria-00074358v1  Rapport
Eric Badouel, Luca Bernardinello, Philippe Darondeau. Polynomial Algorithms for the Synthesis of Bounded Nets
[Research Report] RR-2316, INRIA. 1994
...
inria-00075607v1  Rapport
Philippe Darondeau, Pierpaolo Degano. Causal trees
[Research Report] RR-0952, INRIA. 1988
...
inria-00075921v1  Rapport
Philippe Darondeau, Serge Yoccoz. Proof systems for infinite behaviours
[Research Report] RR-0632, INRIA. 1987
hal-00650973v1  Communication dans un congrès
Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems
Jörg Desel and Alex Yakovlev. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. 725, pp.63-78, 2011, CEUR Workshop Proceedings; ART2011
inria-00553867v1  Communication dans un congrès
Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets
Johan Lilius and Wojciech Penczek. Petri Nets, Jun 2010, Braga, Portugal. Springer-Verlag, 6128, pp.246-266, 2010, LNCS; Applications and Theory of Petri Nets
...
inria-00265855v2  Rapport
Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Opacity Enforcing Control Synthesis
[Research Report] PI 1887, 2008, pp.19
...
inria-00072337v1  Rapport
Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs
[Research Report] RR-4251, INRIA. 2001, pp.24
...
inria-00156035v3  Rapport
Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts
[Research Report] RR-6258, INRIA. 2007, pp.27
...
inria-00072678v1  Rapport
Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs en tant que spécifications partielles et leurs complétions dans les réseaux de Petri
[Rapport de recherche] RR-3970, INRIA. 2000
...
inria-00072999v1  Rapport
Philippe Darondeau. On the Petri Net Realization of Context-Free Graphs
[Research Report] RR-3674, INRIA. 1999
hal-00745298v1  Communication dans un congrès
Philippe Darondeau, Eike Best. Deciding Selective Declassification of Petri Nets
Pierpaolo Degano et Joshua D. Guttman. Principles of Security and Trust (POST), Mar 2012, Tallinn, Estonia. Springer, 7215, pp.290-308, 2012, LNCS; POST. <10.1007/978-3-642-28641-4>
hal-00745311v1  Communication dans un congrès
Philippe Darondeau, Eike Best. Petri Net Distributability
Edmund M. Clarke et Irina Virbitskaite et Andrei Voronkov. Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Jun 2011, Novosibirsk, Russia. Springer, 7162, pp.1-18, 2012, LNCS; Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011. <10.1007/978-3-642-29709-0_1>
...
inria-00510013v1  Communication dans un congrès
Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435, 2010
...
inria-00360186v1  Rapport
Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Supervisory Control for Opacity
[Research Report] PI 1921, 2009, 19 p
...
inria-00070249v1  Rapport
Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets
[Research Report] RR-5771, INRIA. 2005, pp.22
hal-00766871v1  Article dans une revue
Philippe Darondeau, Laurie Ricker. Distributed Control of Discrete Event Systems: A First Step
Transactions on Petri Nets and Other Models of Concurrency, Springer, 2012, 6, pp.24-45
...
inria-00472736v1  Rapport
Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services
[Research Report] RR-7247, INRIA. 2010
...
inria-00071878v1  Rapport
Philippe Darondeau, Harro Wimmel. From bounded T-systems to 1-safe T-systemsup to language equivalence
[Research Report] RR-4708, INRIA. 2003
...
inria-00071924v1  Rapport
Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs
[Research Report] RR-4661, INRIA. 2002
  • 1
  • 2

Contact


archive-ouverte@inria.fr