Reduction of Petri-Nets. - Gérard Berthelot; Gérard Roucairol (MFCS, 1976)

Reductions of Nets and Parallel Prgrams. - Gérard Berthelot; Gérard Roucairol; Rüdiger Valk (Advanced Course: Net Theory and Applications, 1979)

Petri Net Modelling and Reliability of Distributed Algorithms. - Gérard Berthelot; Claude Girault; Gérard Roucairol (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. - Gérard Berthelot; Richard Terrat (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Petri Nets Theory for the Correctness of Protocols. - Gérard Berthelot; Richard Terrat (IEEE Trans. Commun., 1982)

Checking properties of nets using transformation. - Gérard Berthelot (Applications and Theory in Petri Nets, 1985)

Transformations and Decompositions of Nets. - Gérard Berthelot (Advances in Petri Nets, 1986)

PAPETRI: Environment for the Analysis of Petri Nets. - Gérard Berthelot; Colette Johnen; Laure Petrucci (CAV, 1990)

Towards a simplified building of time Petri Nets reachability graph. - Hanifa Boucheneb; U. Alger; Gérard Berthelot (PNPM, 1993)

Occurrence Graphs for Interval Timed Coloured Nets. - Gérard Berthelot; Hanifa Boucheneb (Application and Theory of Petri Nets, 1994)

Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. - Hanifa Boucheneb; Gérard Berthelot (FTRTFT, 1994)

Specification and validation of a concurrent system: an educational project. - Gérard Berthelot; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2001)

Contraction of the ITCPN State Space. - Hanifa Boucheneb; Gérard Berthelot (Theory and Practice of Timed Systems @ ETAPS, 2002)

Verification technique for time Petri nets. - Patrice Bonhomme; Gérard Berthelot; Pascal Aygalinc; Soizick Calvez (SMC (5), 2004)