Other Forms of the Synthesis Problem

The canonical form of the synthesis problem asks for exact realizations of transition systems. In this chapter we study some variations on that theme. In one case, we relax the constraint that the reachability graph of the synthesized net be isomorphic to the initial transition system, and allow it to be a quotient.