Simulation of continuous-time P systems using descriptive rewriting timed Petri nets

Time Delays in Membrane Systems and Petri Nets

“…This relationship allows to use the Petri nets tools to verify certain behavioural properties (reachability, boundedness, liveness and fairness) of membrane systems. An attempt to use Petri nets software to simulate timing aspects in membrane systems is presented in [18].…”

“…Although there are few extensions with time for both membrane systems and Petri nets, it does not exist a connection between these timed extensions. An attempt is presented in [18] by using a software simulation (and having some decidability aims). We relate timed membrane systems to timed Petri nets with localities following the research line of [12], and prove an operational correspondence between them.…”

Verification of membrane systems with delays via Petri nets with delays

“…Despite the fact that various timed extensions exist for both membrane systems and Petri nets, we are not aware of any formal connection between these timed extensions of membrane systems and Petri nets. An attempt is presented in [39] by using a small software simulation (having some decidability aims). There exist more connections just between membrane systems and Petri nets, namely ignoring the time aspects [8,18,44].…”