Petri Nets with Localities and Testing

In this survey paper, we discuss how to enhance the modelling power of Place/Transition-nets with the notions of ‘locality’ of individual transitions and token ‘testing’ using inhibitor and activator arcs (or, more generally, range arcs). As motivation for these extensions we consider membrane systems – a computational model inspired by the way chemical reactions take place in cells that are divided by membranes into compartments. We explain …