Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account

 Pierre Bouvier , Hubert Garavel , Hernan Ponce de León
PETRI NETS 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France
Communication dans un congrès hal-02875957v1
Image document

Efficient Algorithms for Three Reachability Problems in Safe Petri Nets

 Pierre Bouvier , Hubert Garavel
PETRI NETS 2021 - 42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.339-359, ⟨10.1007/978-3-030-76983-3_17⟩
Communication dans un congrès hal-03286069v1
Image document

The VLSAT-1 Benchmark Suite

 Pierre Bouvier , Hubert Garavel
[Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6
Rapport hal-03007233v1
Image document

The VLSAT-2 Benchmark Suite

 Pierre Bouvier , Hubert Garavel
[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
Rapport hal-03337115v1
Image document

The VLSAT-3 Benchmark Suite

 Pierre Bouvier
[Research Report] RT-0516, INRIA Grenoble Rhône-Alpes. 2021, pp.1-20
Rapport hal-03468625v1
Page :