H. Andréka, S. Mikulás, and I. Németi, The equational theory of Kleene lattices, Theoretical Computer Science, vol.412, issue.52, pp.7099-7108, 2011.
DOI : 10.1016/j.tcs.2011.09.024

H. Andréka and D. Bredikhin, The equational theory of union-free algebras of relations, Algebra Universalis, vol.82, issue.2, pp.516-532, 1995.
DOI : 10.1007/BF01225472

S. L. Bloom, Z. Ésik, and G. Stefanescu, Notes on equational theories of relations, Algebra Universalis, vol.6, issue.1, pp.98-126, 1995.
DOI : 10.1007/BF01190768

P. Brunet and D. Pous, Kleene Algebra with Converse, Proc. RAMiCS, pp.101-118, 2014.
DOI : 10.1007/978-3-319-06251-8_7

URL : https://hal.archives-ouvertes.fr/hal-00938235

P. Brunet and D. Pous, Web appendix to this abstract, 2014.

J. H. Conway, Regular algebra and finite machines, 1971.

Z. Ésik and L. Bernátsky, Equational properties of Kleene algebras of relations with conversion, Theoretical Computer Science, vol.137, issue.2, pp.237-251, 1995.
DOI : 10.1016/0304-3975(94)00041-G

P. J. Freyd and A. Scedrov, Categories, Allegories, 1990.

S. C. Kleene, Representation of Events in Nerve Nets and Finite Automata. Memorandum. Rand Corporation, 1951.

D. Kozen, On kleene algebras and closed semirings, Proc. MFCS, pp.26-47, 1990.
DOI : 10.1007/BFb0029594

D. Kozen, A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.214-225, 1991.
DOI : 10.1109/LICS.1991.151646

D. Krob, A complete system of B-rational identities, Proc. ICALP, pp.60-73, 1990.
DOI : 10.1007/BFb0032022

URL : https://hal.archives-ouvertes.fr/hal-00017725

T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

C. A. Petri, Fundamentals of a theory of asynchronous information flow, IFIP Congress, pp.386-390, 1962.

C. A. Petri, Kommunikation mit Automaten, 1962.

K. Thompson, Programming Techniques: Regular expression search algorithm, Communications of the ACM, vol.11, issue.6, pp.419-422, 1968.
DOI : 10.1145/363347.363387