Gérard Berthelot

17 papers A* 1B 1Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2004 — conf
Verification technique for time Petri nets.
SMC (5)
Patrice Bonhomme, Gérard Berthelot, Pascal Aygalinc, Soizick Calvez
2002 — conf
Contraction of the ITCPN State Space.
Theory and Practice of Timed Systems @ ETAPS
Hanifa Boucheneb, Gérard Berthelot
2001 J jnl
Specification and validation of a concurrent system: an educational project.
Int. J. Softw. Tools Technol. Transf.
Gérard Berthelot, Laure Petrucci
1994 — conf
Occurrence Graphs for Interval Timed Coloured Nets.
Application and Theory of Petri Nets
Gérard Berthelot, Hanifa Boucheneb
1994 — conf
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets.
FTRTFT
Hanifa Boucheneb, Gérard Berthelot
1993 — conf
Towards a simplified building of time Petri Nets reachability graph.
PNPM
Hanifa Boucheneb, U. Alger, Gérard Berthelot
1990 — conf
PAPETRI: Environment for the Analysis of PETRI Nets.
CAV (DIMACS/AMS volume)
Gérard Berthelot, Colette Johnen, Laure Petrucci
1990 A* conf
PAPETRI: Environment for the Analysis of Petri Nets.
CAV
Gérard Berthelot, Colette Johnen, Laure Petrucci
1986 — conf
Transformations and Decompositions of Nets.
Advances in Petri Nets
Gérard Berthelot
1985 — conf
Checking properties of nets using transformation.
Applications and Theory in Petri Nets
Gérard Berthelot
1982 — conf
Petri Nets Theory for the Correctness of Protocols.
PSTV
Gérard Berthelot, Richard Terrat
1982 J jnl
Petri Nets Theory for the Correctness of Protocols.
IEEE Trans. Commun.
Gérard Berthelot, Richard Terrat
1981 — conf
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
Gérard Berthelot, Richard Terrat
1981 — conf
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
Gérard Berthelot, Claude Girault, Gérard Roucairol
1981 — conf
Petri Nets Theory for the Correctness of Protocols.
DDSS
Gérard Berthelot, Richard Terrat
1979 — conf
Reductions of Nets and Parallel Prgrams.
Advanced Course: Net Theory and Applications
Gérard Berthelot, Gérard Roucairol, Rüdiger Valk
1976 B conf
Reduction of Petri-Nets.
MFCS
Gérard Berthelot, Gérard Roucairol