Toggle Main Menu Toggle Search

Open Access padlockePrints

Petri Nets with Localities and Testing

Lookup NU author(s): Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

In this paper, we discuss how to enhance the modelling power of Place/Transition-nets using the notions of `locality' of individual transitions and token `testing' using inhibitor and activator arcs (or, more generally, range arcs). As a motivation for such an extension we consider membrane systems -- a computational model inspired by the way living cells are divided by membranes into compartments where chemical reactions may take place. We explain how key features of membrane systems canbe in a natural way captured by transitions with localities (to model compartments) and range arcs (to model inhibitors and promoters). For the resulting model of PTRL-nets, we discuss the synchrony and asynchrony in their behaviours and outlinehow their causal processes can be defined. Both localities and range arcs render problems, such as boundedness, undecidable in the general case. We therefore discuss conditions under which one can still decide whether a net is bounded.


Publication metadata

Author(s): Kleijn J, Koutny M

Editor(s): Lilius, J., Penczek, W.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS)

Year of Conference: 2010

Pages: 19-38

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-642-13675-7

DOI: 10.1007/978-3-642-13675-7

Notes: Invited paper

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642136740


Actions

Link to this publication


Share