Skip to main content
main-content
Top

Hint

Swipe to navigate through the chapters of this book

2019 | OriginalPaper | Chapter

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications

Work-in-Progress Paper

Authors : Anna Philippou, Kyriaki Psara, Harun Siljak

Published in: Reversible Computation

Publisher: Springer International Publishing

share
SHARE

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.
Literature
5.
go back to reference Lanese, I., Mezzina, C.A., Stefani, J.: Reversibility in the higher-order \(\pi \)-calculus. Theor. Comput. Sci. 625, 25–84 (2016) Lanese, I., Mezzina, C.A., Stefani, J.: Reversibility in the higher-order \(\pi \)-calculus. Theor. Comput. Sci. 625, 25–84 (2016)
6.
go back to reference Cardelli, L., Laneve, C.: Reversible structures. In: Proceedings of CMSB 2011, pp. 131–140. ACM (2011) Cardelli, L., Laneve, C.: Reversible structures. In: Proceedings of CMSB 2011, pp. 131–140. ACM (2011)
10.
go back to reference Barylska, K., Gogolinska, A., Mikulski, L., Philippou, A., Piatkowski, M., Psara, K.: Reversing computations modelled by coloured Petri nets. In: Proceedings of ATAED 2018, vol. 2115, pp. 91–111. CEUR Workshop Proceedings (2018) Barylska, K., Gogolinska, A., Mikulski, L., Philippou, A., Piatkowski, M., Psara, K.: Reversing computations modelled by coloured Petri nets. In: Proceedings of ATAED 2018, vol. 2115, pp. 91–111. CEUR Workshop Proceedings (2018)
16.
go back to reference Gao, X., Edfors, O., Tufvesson, F., Larsson, E.G.: Massive mimo in real propagation environments: do all antennas contribute equally? IEEE Trans. Commun. 63(11), 3917–3928 (2015) CrossRef Gao, X., Edfors, O., Tufvesson, F., Larsson, E.G.: Massive mimo in real propagation environments: do all antennas contribute equally? IEEE Trans. Commun. 63(11), 3917–3928 (2015) CrossRef
17.
go back to reference Siljak, H., Psara, K., Philippou, A.: Distributed antenna selection for massive MIMO using reversing Petri nets. IEEE Wirel. Commun. Lett. (2019, under review) Siljak, H., Psara, K., Philippou, A.: Distributed antenna selection for massive MIMO using reversing Petri nets. IEEE Wirel. Commun. Lett. (2019, under review)
Metadata
Title
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Authors
Anna Philippou
Kyriaki Psara
Harun Siljak
Copyright Year
2019
DOI
https://doi.org/10.1007/978-3-030-21500-2_15

Premium Partner