( en | de | ru )

 

Disambiguation of "Berthelot, Gérard"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a simplified building of time Petri Nets reachability graph.

, , and . PNPM, page 46-47. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gérard Gäfgen

Walter Gérard

Emilie Gérard

Bruno Gérard

Gérard Sprüssel

 

Other publications of authors with the same name

Occurrence Graphs for Interval Timed Coloured Nets., and . Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 79-98. Springer, (1994)Petri Net Modelling and Reliability of Distributed Algorithms., , and . Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 3-10. Springer, (1981)Reductions of Nets and Parallel Prgrams., , and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 277-290. Springer, (1979)Verification technique for time Petri nets., , , and . SMC (5), page 4278-4283. IEEE, (2004)Petri Nets Theory for the Correctness of Protocols., and . DDSS, page 23-43. North-Holland, (1981)Checking properties of nets using transformation.. Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 19-40. Springer, (1985)Reduction of Petri-Nets., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 202-209. Springer, (1976)Specification and validation of a concurrent system: an educational project., and . Int. J. Softw. Tools Technol. Transf., 3 (4): 372-381 (2001)PAPETRI: Environment for the Analysis of PETRI Nets., , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 43-56. DIMACS/AMS, (1990)Petri Nets Theory for the Correctness of Protocols., and . PSTV, page 325-342. North-Holland, (1982)