| dc.contributor.author | Philippou, Anna | en |
| dc.contributor.author | Psara, Kyriaki | en |
| dc.contributor.author | Siljak, Harun | en |
| dc.contributor.editor | Thomsen, Michael Kirkedal | en |
| dc.contributor.editor | Soeken, Mathias | en |
| dc.coverage.spatial | Cham | en |
| dc.creator | Philippou, Anna | en |
| dc.creator | Psara, Kyriaki | en |
| dc.creator | Siljak, Harun | en |
| dc.date.accessioned | 2021-01-22T10:47:39Z | |
| dc.date.available | 2021-01-22T10:47:39Z | |
| dc.date.issued | 2019 | |
| dc.identifier.isbn | 978-3-030-21500-2 | |
| dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/62370 | |
| dc.description.abstract | Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has been proposed, allowing transitions to be reversed spontaneously in or out of causal order. In this work we propose an approach for controlling the reversal of actions of an RPN, by associating transitions with conditions whose satisfaction/violation allows the execution of transitions in the forward/reversed direction, respectively. We illustrate the framework with a model of a novel, distributed algorithm for antenna selection in distributed antenna arrays. | en |
| dc.language.iso | en | en |
| dc.publisher | Springer International Publishing | en |
| dc.source | Reversible Computation | en |
| dc.title | Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications | en |
| dc.type | info:eu-repo/semantics/conferenceObject | |
| dc.identifier.doi | 10.1007/978-3-030-21500-2_15 | |
| dc.description.startingpage | 238 | |
| dc.description.endingpage | 245 | |
| dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
| dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
| dc.type.uhtype | Conference Object | en |
| dc.contributor.orcid | Psara, Kyriaki [0000-0002-6554-7950] | |
| dc.gnosis.orcid | 0000-0002-6554-7950 | |
