Petri Automata

Article Dans Une Revue Logical Methods in Computer Science Année : 2017

(1, 2) , (1, 2)

1
2

Paul Brunet

Preuves et Langages

Laboratoire de l'Informatique du Parallélisme

Damien Pous

Preuves et Langages

Laboratoire de l'Informatique du Parallélisme

Kleene allegories Kleene lattices Petri automata Petri nets decidability graphs Kleene theorem

Logique en informatique [cs.LO]

https://hal.science/hal-01934638

Soumis le : lundi 26 novembre 2018-10:08:30

Dernière modification le : jeudi 11 mai 2023-11:56:10

hal-01934638 , version 1 (26-11-2018)

Paul Brunet, Damien Pous. Petri Automata. Logical Methods in Computer Science, 2017, 13 (3), pp.1-50. ⟨10.23638/LMCS-13(3:33)2017⟩. ⟨hal-01934638⟩

ENS-LYON CNRS INRIA UNIV-LYON1 LABEX-MILYON UDL ANR

44 Consultations

0 Téléchargements