Descriptive Timed Membrane Petri Nets for Modelling of Parallel Computing

摘要

In order to capture the compartmentation and behaviour of membrane systems for modelling of parallel computing, we introduce the descriptive dynamic rewriting Descriptive Membrane Timed Petri Nets (DM-nets) that can at in run-time modify their own structure by rewriting some of their descriptive expression components. Furthermore, this descriptive approach facilitates the understanding of complex models and their component-based construction as well as the application of modern computer engineering concepts.