Petri Net Reachability Graphs: Decidability Status of FO Properties
Philippe Darondeau
,
Stephane Demri
,
Roland Meyer
,
Christophe Morvan
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science , IARCS, Dec 2011, Bombay, India
Conference papers
inria-00627657v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quasi-Static Scheduling of Communicating Tasks
Philippe Darondeau
,
Blaise Genest
,
P.S. Thiagarajan
,
Shaofa Yang
Information and Computation , 2010, 208 (10), pp.1154-1168
Journal articles
hal-00591759v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Context-Free Event Domains are recognizable
Eric Badouel
,
Philippe Darondeau
,
Jean-Claude Raoult
[Research Report] RR-2588, INRIA. 1995
Reports
inria-00074095v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Synthesis Problem for Elementary Net Systems is NP-Complete
Eric Badouel
,
Luca Bernardinello
,
Philippe Darondeau
[Research Report] RR-2558, INRIA. 1995
Reports
inria-00074122v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Supervisory Control for Modal Specifications of Services
Philippe Darondeau
,
Jérémy Dubreil
,
Hervé Marchand
[Research Report] RR-7247, INRIA. 2010
Reports
inria-00472736v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Supervisory Control for Modal Specifications of Services
Philippe Darondeau
,
Jérémy Dubreil
,
Hervé Marchand
Workshop on Discrete Event Systems, WODES'10 , Aug 2010, Berlin, Germany. pp.428-435
Conference papers
inria-00510013v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
From bounded T-systems to 1-safe T-systemsup to language equivalence
Philippe Darondeau
,
Harro Wimmel
[Research Report] RR-4708, INRIA. 2003
Reports
inria-00071878v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Opacity Enforcing Control Synthesis
Jérémy Dubreil
,
Philippe Darondeau
,
Hervé Marchand
Workshop on Discrete Event Systems, WODES'08 , May 2008, Goteborg, Sweden. pp.28-35
Conference papers
inria-00344269v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Petri Net Realization of Context-Free Graphs
Philippe Darondeau
[Research Report] RR-3674, INRIA. 1999
Reports
inria-00072999v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Supervisory Control for Opacity
Jérémy Dubreil
,
Philippe Darondeau
,
Hervé Marchand
Journal articles
inria-00483891v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Enforcing Opacity of Regular Predicates on Modal Transition Systems
Philippe Darondeau
,
Hervé Marchand
,
Laurie S. L. Ricker
Journal articles
hal-00987988v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Effective behaviour algebras
Philippe Darondeau
,
Serge Yoccoz
[Research Report] RR-0776, INRIA. 1987
Reports
inria-00075776v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Une critique de la notion de test de processus fondée sur la non séparabilite de certaines classes de langages
Philippe Darondeau
[Rapport de recherche] RR-0425, INRIA. 1985
Reports
inria-00076131v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A formal proof system for infinitary rational expressions
Philippe Darondeau
,
Laurent Kott
[Research Report] RR-0218, INRIA. 1983
Reports
inria-00076340v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dualities between Nets and Automata Induced by Schizophrenic Objects
Eric Badouel
,
Philippe Darondeau
[Research Report] RR-2452, INRIA. 1995
Reports
inria-00074223v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deciding Selective Declassification of Petri Nets
Philippe Darondeau
,
Eike Best
Conference papers
hal-00745298v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fairness, distances and degrees
Philippe Darondeau
,
Doris Nolte
,
Lutz Priese
,
Serge Yoccoz
[Research Report] RR-1199, INRIA. 1990
Reports
inria-00075359v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Residuation of tropical series: rationality issues
Eric Badouel
,
Anne Bouillard
,
Philippe Darondeau
,
Jan Komenda
[Research Report] RR-7547, INRIA. 2011, pp.19
Reports
inria-00567390v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quasi-Static Scheduling of Communicating Tasks.
Philippe Darondeau
,
Blaise Genest
,
P.S. Thiagarajan
,
Yang Shaofa
2009
Preprints, Working Papers, ...
hal-00429669v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deriving Unbounded Petri Nets from Formal Languages
Philippe Darondeau
[Research Report] RR-3365, INRIA. 1998
Reports
inria-00073324v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Petri net synthesis problem for automatic graphs
Eric Badouel
,
Philippe Darondeau
[Research Report] RR-4661, INRIA. 2002
Reports
inria-00071924v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linear Control of Live Marked Graphs
Philippe Darondeau
,
Xiaolan Xie
[Research Report] RR-4251, INRIA. 2001, pp.24
Reports
inria-00072337v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Petri Net Distributability
Philippe Darondeau
,
Eike Best
Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011 , Jun 2011, Novosibirsk, Russia. pp.1-18,
⟨10.1007/978-3-642-29709-0_1⟩
Conference papers
hal-00745311v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Separability in Persistent Petri Nets
Eike Best
,
Philippe Darondeau
Petri Nets , Jun 2010, Braga, Portugal. pp.246-266
Conference papers
inria-00553867v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An elarged definition and complete axiomatization of observational congruence of finite processes
Philippe Darondeau
[Research Report] RR-0140, INRIA. 1982
Reports
inria-00076420v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Structural operational specifications and trace automata
Eric Badouel
,
Philippe Darondeau
[Research Report] RR-1631, INRIA. 1992
Reports
inria-00074930v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Infinitary languages and fully abstract models of fair asynchrony
Philippe Darondeau
[Research Report] RR-0330, INRIA. 1984
Reports
inria-00076227v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Distributed Control of Discrete Event Systems
Philippe Darondeau
,
Laurie Ricker
ART2011 : Workshop on Applications of Region Theory , Jun 2011, Newcastle upon Tyne, United Kingdom. pp.63-78
Conference papers
hal-00650973v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Philippe Darondeau
,
Stephane Demri
,
Roland Meyer
,
Christophe Morvan
Journal articles
hal-00743935v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modelling infinitary behaviours of communicating systems
Philippe Darondeau
,
Boubakar Gamatié
[Research Report] RR-0749, INRIA. 1987
Reports
inria-00075803v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More