2004 |
14 | EE | Patrice Bonhomme,
Gérard Berthelot,
Pascal Aygalinc,
Soizick Calvez:
Verification technique for time Petri nets.
SMC (5) 2004: 4278-4283 |
2002 |
13 | EE | Hanifa Boucheneb,
Gérard Berthelot:
Contraction of the ITCPN State Space.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
2001 |
12 | EE | Gérard Berthelot,
Laure Petrucci:
Specification and validation of a concurrent system: an educational project.
STTT 3(4): 372-381 (2001) |
1994 |
11 | | Gérard Berthelot,
Hanifa Boucheneb:
Occurrence Graphs for Interval Timed Coloured Nets.
Application and Theory of Petri Nets 1994: 79-98 |
10 | | Hanifa Boucheneb,
Gérard Berthelot:
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets.
FTRTFT 1994: 211-227 |
1990 |
9 | | Gérard Berthelot,
Colette Johnen,
Laure Petrucci:
PAPETRI: Environment for the Analysis of Petri Nets.
CAV 1990: 13-22 |
1986 |
8 | | Gérard Berthelot:
Transformations and Decompositions of Nets.
Advances in Petri Nets 1986: 359-376 |
1985 |
7 | | Gérard Berthelot:
Checking properties of nets using transformation.
Applications and Theory in Petri Nets 1985: 19-40 |
1982 |
6 | | Gérard Berthelot,
Richard Terrat:
Petri Nets Theory for the Correctness of Protocols.
PSTV 1982: 325-342 |
1981 |
5 | | Gérard Berthelot,
Richard Terrat:
Petri Nets Theory for the Correctness of Protocols.
DDSS 1981: 23-43 |
4 | | Gérard Berthelot,
Richard Terrat:
Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 251-257 |
3 | | Gérard Berthelot,
Claude Girault,
Gérard Roucairol:
Petri Net Modelling and Reliability of Distributed Algorithms.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 3-10 |
1976 |
2 | | Gérard Berthelot,
Gérard Roucairol:
Reduction of Petri-Nets.
MFCS 1976: 202-209 |
1975 |
1 | | Gérard Berthelot,
Gérard Roucairol,
Rüdiger Valk:
Reductions of Nets and Parallel Prgrams.
Advanced Course: Net Theory and Applications 1975: 277-290 |