Membrane Differential Petri Nets for Performance Modelling of Hybrid P-Systems

P-systems, also referred to as membrane systems, are a class of computing models inspired from the structure and functioning of living cells. Efforts have been made to simulate Psystems with Petri nets, most oriented to verify their behavioral properties. In this paper, we introduce a new methodology based on dynamic rewriting Generalized Differential Petri Nets (GDPN) for performance modeling of P-systems. We define the concept of hybrid P-systems with active membranes and give its formalization based on the new approach - the Timed Membrane GDPN (also called DMH-net). An example is presented to illustrate our approach.