Author: "Berthelot G" / Publisher: ieee - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Berthelot G"' showing total 6 results

Start Over Author "Berthelot G" Publisher ieee

6 results on '"Berthelot G"'

1. Petri Nets Theory for the Correctness of Protocols.

Author: Berthelot, G. and Terrat, R.
Published: 1982
Full Text: View/download PDF

2. Verification technique for time Petri nets

Author: Bonhomme, P., primary, Berthelot, G., additional, Aygalinc, P., additional, and Calvez, S., additional
Full Text: View/download PDF

3. Hierarchical control of time Petri nets by means of transformations

Author: Bonhomme, P., primary, Aygalinc, P., additional, Berthelot, G., additional, and Calvez, S., additional
Full Text: View/download PDF

4. Towards a simplified building of time Petri Nets reachability graph.

Author: Boucheneb, H., Alger, U., and Berthelot, G.
Published: 1993
Full Text: View/download PDF

5. Verification technique for time Petri nets.

Author: Bonhomme, P., Berthelot, G., Aygalinc, P., and Calvez, S.
Published: 2004
Full Text: View/download PDF

6. Hierarchical control of time Petri nets by means of transformations.

Author: Bonhomme, P., Aygalinc, P., Berthelot, G., and Calvez, S.
Published: 2002
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results