Towards Modular Synthesis of Elementary Net Systems

Modular System Development with Pullbacks

“…5 is commutative. This strengthens the intu- [6] is an instance of a pullback construction. An answer can be given, provided we fix a category in which the pullbacks are sought.…”

“…Moreover, we show that the morphisms that map actions to sets of concurrent actions offer a unifying framework, in which some well-known and some novel ideas can be cast together. Namely, we show that the CSP-like composition of systems by synchronisation on identical actions as well as the composition of systems by identification of regions, see [6], are in fact instances of a categorical pullback construction. We also argue that within the classical framework provided by Def.…”

“…Recently, a novel modular composition technique applicable to elementary net and transition systems has been proposed, see [6]. The idea is to glue together two systems on pairs of complementary places/regions.…”

“…We refrain from explaining the details of the construction as defined on nets, consult [6] for details. Instead, the example on Fig.…”

“…One can show that the composition of two composable elementary transition systems is elementary. The main result of [6] is that the two composition operations, of elementary net systems and elementary transition systems agree:…”