21 citations · 61 across the 9 of their papers we have counts for
11 papers
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski +3
Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in…
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation
Anna Philippou, Kyriaki Psara
Reversing Petri nets (RPNs) have recently been proposed as a net-basedapproach to model causal and out-of-causal order reversibility. They are based on the notion of individual tok…
Reversible Computation in Cyclic Petri Nets
Anna Philippou, Kyriaki Psara
Petri nets are a mathematical language for modeling and reasoning about distributed systems. In this paper we propose an approach to Petri nets for embedding reversibility, i.e., t…
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Anna Philippou, Kyriaki Psara, Harun Siljak
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 be…
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets
Harun Siljak, Kyriaki Psara, Anna Philippou
Distributed antenna selection for Distributed Massive MIMO (Multiple Input Multiple Output) communication systems reduces computational complexity compared to centralised approache…
Fault Adaptive Routing in Metasurface Controller Networks
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas +8
HyperSurfaces are a merge of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized netwo…