Gérard Berthelot

According to our database, Gérard Berthelot authored at least 14 papers between 1976 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Verification technique for time Petri nets.

Patrice Bonhomme, Gérard Berthelot, Pascal Aygalinc, Soizick Calvez

Proceedings of the IEEE International Conference on Systems, 2004

2002

Contraction of the ITCPN State Space.

Hanifa Boucheneb, Gérard Berthelot

Proceedings of the Theory and Practice of Timed Systems, 2002

2001

Specification and validation of a concurrent system: an educational project.

Gérard Berthelot, Laure Petrucci

Int. J. Softw. Tools Technol. Transf., 2001

1994

Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets.

Hanifa Boucheneb, Gérard Berthelot

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Occurrence Graphs for Interval Timed Coloured Nets.

Gérard Berthelot, Hanifa Boucheneb

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Towards a simplified building of time Petri Nets reachability graph.

Hanifa Boucheneb, U. Alger, Gérard Berthelot

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

1990

PAPETRI: Environment for the Analysis of Petri Nets.

Gérard Berthelot, Colette Johnen, Laure Petrucci

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1986

Transformations and Decompositions of Nets.

Gérard Berthelot

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Checking properties of nets using transformation.

Gérard Berthelot

Proceedings of the Advances in Petri Nets 1985, 1985

1982

Petri Nets Theory for the Correctness of Protocols.

Gérard Berthelot, Richard Terrat

IEEE Trans. Commun., 1982

1981

Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets.

Gérard Berthelot, Richard Terrat

Proceedings of the Application and Theory of Petri Nets, 1981

Petri Net Modelling and Reliability of Distributed Algorithms.

Gérard Berthelot, Claude Girault, Gérard Roucairol

Proceedings of the Application and Theory of Petri Nets, 1981

1979

Reductions of Nets and Parallel Prgrams.

Gérard Berthelot, Gérard Roucairol, Rüdiger Valk

Proceedings of the Net Theory and Applications, 1979

1976

Reduction of Petri-Nets.

Gérard Berthelot, Gérard Roucairol

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976