Abstract Structural and behavioural properties of models are very important in development complex systems applications. In this paper, we investigate such for some classes SN P systems. First, a class associated to set routing problems investigated through their matrix representation. This allows make certain connections amongst these problems. Secondly, the formally verified natural direct ma...