For the most recent entries see the
Petri Nets Newsletter.
Jard, C.
-
Chatain, Thomas;
Jard, Claude:
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.
2006.
-
Chatain, Thomas;
Jard, Claude:
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.
2005.
-
Chatain, Thomas;
Jard, Claude:
Symbolic Diagnosis of Partially Observable Concurrent Systems.
2004.
-
Jard, Claude:
Synthesis of distributed testers from true-concurrency models of reactive systems.
2003.
-
Aghasaryan, Armen;
Fabre, Eric;
Benveniste, Albert;
Boubour, Renée;
Jard, Claude:
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets.
1998.
-
Boubour, Renée;
Jard, Claude:
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation.
1997.
-
Jard, C.;
Jéron, T.;
Jourdan, G.V.;
Rampon, J.X.:
A General Approach to Trace-Checking in Distributed Computing Systems.
1994.
-
Groz, R.;
Jard, C.;
Lassudrie, C.:
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography