Injective envelope and parallel decomposition of a transition system Original Research Article

Transition system theory arises in several branches of mathematics including algebraic automata theory and universal algebra theory. In this paper, some key questions related to the notions of retraction and injectivity are answered in the category of transition systems over a given alphabet. This yields results concerning the parallel decomposition problem of a transition system.