Petri Automata
Kleene algebra axioms tourettebrewing.com are complete with respect to both language models and binary relation models.In particular, two regular expressions recognise the same language if and only if they are universally equivalent in the model of binary relations.We consider Kleene allegories, i.e., Kleene algebras with two additional operations