Amazigh AMRANE

5
Documents
Affiliations actuelles
  • Laboratoire de Recherche de l'EPITA (LRE)
  • Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

Présentation

EPITA Research and Development Laboratory (LRDE)

14-16 rue Voltaire, FR-94270 Le Kremlin-Bicetre, France

https://www.lre.epita.fr/perso/amazigh-amrane/

Publications

Publications

Image document

Higher-Dimensional Automata: Extension to Infinite Tracks

Luc Passemard , Amazigh Amrane , Uli Fahrenberg
FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.31⟩
Communication dans un congrès hal-05274025 v1
Image document

Petri Nets and Higher-Dimensional Automata

Amazigh Amrane , Hugo Bazille , Uli Fahrenberg , Loïc Hélouët , Philipp Schlehuber-Caissier
Petri Nets 2025 - 46th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2025, Aubervillers, France. pp.18-40, ⟨10.1007/978-3-031-94634-9_2⟩
Communication dans un congrès hal-05013777 v1
Image document

Towards an efficient conversion of petri nets into higher dimensional automata

Amazigh Amrane , Hugo Bazille , Timothée Fragnaud , Philipp Schlehuber-Caissier
Modélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France
Communication dans un congrès hal-05281114 v1