Browsing by Author "Psara, Kyriaki"

Now showing items 1-4 of 4

    • Conference Object  

      Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications 

      Philippou, Anna; Psara, Kyriaki; Siljak, Harun (Springer International Publishing, 2019)
      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 ...
    • Article  

      Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets 

      Siljak, Harun; Psara, Kyriaki; Philippou, Anna (2019)
      Distributed antenna selection for distributed massive multiple input multiple output (MIMO) communication systems reduces computational complexity compared to centralized approaches, and provides high fault tolerance while ...
    • Conference Object  

      Reversible Computation in Petri Nets 

      Philippou, Anna; Psara, Kyriaki (Springer International Publishing, 2018)
      Reversible computation is an unconventional form of computing where any executed sequence of operations can be executed in reverse at any point during computation. In this paper we propose a reversible approach to Petri ...
    • Conference Object  

      Reversing Computations Modelled by Coloured Petri Nets 

      Barylska, Kamila; Gogolinska, Anna; Mikulski, Lukasz; Philippou, Anna; Piatkowski, Marcin; Psara, Kyriaki (CEUR-WS.org, 2018)
      Reversible computation is an unconventional form of computing where any sequence of performed operations can be executed in reverse order at any point during computation. It has recently been attracting increasing attention ...