Formal Strategies in P Systems

Abstract

The process of design and study of P system often consists in creating a basic model to which a series of further modifications is applied. These modifications are often generic and do not depend on the details of a certain instance of a P system. The modifications can therefore be abstracted as separate mathematical objects. This paper focuses on such objects which describe modifications to P systems.