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

Emilian Gutuleac, Mihai L. Mocanu, Iurie Turcanu

Abstract


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.

Full Text: PDF