Concurrent Realizations of Reactive Systems
Marek A. Bednarczyk, Andrzej M. Borzyszkowski · Electronic Notes in Theoretical Computer Science · 1999
A categorical framework for finding concurrent realizations of reactive systems is presented. Firstly, a functorial construction is described that leads from the category of concrete asynchronous systems to the category of labelled safe Petri nets. Then, the general problem is discussed. In general the optimal solutions, i.e., the most concurrent realizations of a reactive system need not exist. Nevertheless, an iterative process of building a maximally concurrent realization of a reactive system is proposed based on the notion zig-zag morphism.