CS Other Presentations
Besides Colloquiums, the Department of Computer Science at the University of Cyprus also holds Other Presentations (Research Seminars, PhD Defenses, Short Term Courses, Demonstrations, etc.). These presentations are given by scientists who aim to present preliminary results of their research work and/or other technical material. Other Presentations serve as a forum for educating Computer Science students and related announcements are disseminated to the Department of Computer Science (i.e., the csall list):RSS Directions
Presentations Coordinator: Demetris Zeinalipour
PhD Defense: Reversible Computation in Petri nets, Ms. Kyriaki Psara (University of Cyprus, Cyprus), Friday, December 18, 2020, 11:00-12:00 EET.
The Department of Computer Science at the University of Cyprus cordially invites you to the PhD Defense entitled:
Reversible Computation in Petri nets
Speaker: Ms. Kyriaki Psara
Reversible computation is an unconventional form of computing that extends the standard forward-only mode of computation with the ability to execute a sequence of operations in reverse at any point during computation. Exploring reversibility through formal models formulates the theoretical foundations of what reversibility is, what purpose it serves, and how it benefits natural and artificial systems. Ιn this thesis we propose a reversible approach to Petri nets by introducing machinery and associated operational semantics to tackle the challenges of the main forms of reversibility. Petri nets are a mathematical language for modelling and reasoning about distributed systems. Our proposal concerns a variation of Petri nets, called Reversing Petri Nets (RPNs) where tokens are persistent and distinguished from each other by an identity. We then propose an extension of reversing Petri nets that allows multiple tokens of the same base/type to occur in a model while still ensuring backward determinism. We prove that the expressive power of RPNs with multi tokens is equivalent to that of RPNs with single tokens, and we measure the expressiveness in terms of Labelled Transition Systems. Finally, we propose an approach towards controlling reversibility by extending RPNs with conditions whose satisfaction allows the execution of transitions in the forward/reversed direction. The resulting framework enables us to study and understand reversibility in various case studies such as biochemical reactions, transaction processing systems, and resource allocation systems for massive MIMO.
Kyriaki Psara is a Ph.D. candidate at the Computer Science Department under the supervision of Dr. Anna Philippou. She has completed her undergraduate studies (B.Sc. in Computer Science) at the University of Leicester (UK) and also holds an M.Sc. in Data Analysis for Business Intelligence from the University of Leicester (UK). Her research interests include reversible computation, formal models including Petri nets and process calculi, and foundations of concurrent and distributed computation.
|Other Presentations Web: https://www.cs.ucy.ac.cy/colloquium/presentations.php
|Colloquia Web: https://www.cs.ucy.ac.cy/colloquium/