Encoding P systems with descriptive membrane timed Petri Nets

Abstract

Petri nets (PN) are very popular formalism for the analysis and representation of concurrent distributed systems that has draw much attention from the community to modeling and verification of this type of systems. P systems, also referred to as membrane systems, are a class of parallel and distributed computing models inspired from the structure and the functioning of living cells. The interest of relating P systems with the PN model of computation lead to several important results on simulation and decidability issues. Some efforts have been made to simulate P systems with Petri nets. In this paper, we introduce the Descriptive Membrane Timed PN, called DM-nets that can dynamically modify their own structures by rewriting rules transitions some of their components thus supporting structural dynamic changes within modeled P systems.