Concurrency in Reconfigurable Place/Systems
dc.contributor.author | Ehrig, Hartmut | |
dc.contributor.author | Ermel, Claudia | |
dc.contributor.author | Hoffmann, Kathrin | |
dc.contributor.author | Padberg, Julia | |
dc.contributor.author | Prange, Ulrike | |
dc.date.accessioned | 2020-06-17T06:55:12Z | |
dc.date.available | 2020-06-17T06:55:12Z | |
dc.date.issued | 2007 | |
dc.description.abstract | Reconfigurable place/transition systems are Petri nets with initialmarkings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new requirements. For the transformation of Petri nets, adhesive high-level replacement systems have been recently introduced as a new categorical framework in the double pushout approach. In this paper, we analyze concurrency in reconfigurable place/transition systems. We show that place/transition systems are a weak adhesive high-level replacement category, which allows us to apply the developed theory also to tranformations within reconfigurable place/transition systems. Furthermore, we analyze under which conditions net transformations and token firing can be executed in arbitrary order. As an illustrating example, reconfigurable place/transition systems are applied in a mobile network scenario. | en |
dc.identifier.issn | 1436-9915 | |
dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/11405 | |
dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-10289 | |
dc.language.iso | en | |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject.ddc | 004 Datenverarbeitung; Informatik | |
dc.subject.other | reconfigurable place/transition systems | en |
dc.subject.other | petri nets | en |
dc.subject.other | net transformation | en |
dc.subject.other | token firing | en |
dc.title | Concurrency in Reconfigurable Place/Systems | en |
dc.title.subtitle | Independence of Net Transformations as well as Net Transformations and Token Firing | en |
dc.type | Research Paper | |
dc.type.version | submittedVersion | en |
tub.accessrights.dnb | free | |
tub.affiliation | Fak. 4 Elektrotechnik und Informatik | de |
tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
tub.publisher.universityorinstitution | Technische Universität Berlin | |
tub.series.issuenumber | 2007-02 | |
tub.series.name | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |
Files
Original bundle
1 - 1 of 1