Marek A. Bednarczyk, Andrzej M. Borzyszkowski

Concurrent realizations of reactive systems

881

Abstract

The problem of finding a (functorial) concurrent realization of a reactive system by means of a labelled safe Petri net is studied.

Firstly, a (functorial) construction is described that leads from the category of concrete asynchronous systems introduced by Morin to the category of labelled safe Petri nets.

Then, the general problem is discussed. It is indicated that in general there are no optimal solutions, i.e., that the most concurrent realizations of a reactive system need not exist. Nevertheless, a framework to support the process of building a concurrent realization of a reactive system is presented.

Key words: Petri nets, transition systems, asynchronous systems, reactive systems, concurrent realization, mixed products, case graphs, regions, synthesis.