 | 2004 |
|---|
| 14 |       | Patrice Bonhomme,
Gérard Berthelot,
Pascal Aygalinc,
Soizick Calvez:
Verification technique for time Petri nets.
SMC (5) 2004: 4278-4283 |
| 2002 |
|---|
| 13 | | Hanifa Boucheneb,
Gérard Berthelot:
Contraction of the ITCPN State Space.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 2001 |
|---|
| 12 | | 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 |
