On the Construction of Transformation Steps in the Category of Multiagent Systems

Based on the category $\mathbb{MAS}$ of base diagrams of Multiagent Systems (MAS) and morphisms between them, a transformation system for MAS can be established using the well known Double Pushout (DPO) Approach. An important part in the DPO approach is to find a pushout complement for a given situation. This is usualy done by checking the so called "gluing condition". In this contribution a new approach for the pushout complement construction in the category $\mathbb{MAS}$ is introduced. For illustration a simple robot example is presented.