Kyriaki Psara

Available identifiers

zbMath Open psara.kyriakiMaRDI QIDQ1796368

List of research outcomes

Publication	Date of Publication	Type
Token multiplicity in reversing Petri nets under the individual token interpretation	2024-02-06	Paper
Formal translation from reversing Petri nets to coloured Petri nets	2022-11-11	Paper
A collective interpretation semantics for reversing Petri nets	2022-06-13	Paper
Reversible computation in nets with bonds	2021-11-24	Paper
Encoding reversing Petri nets in answer set programming	2021-07-05	Paper
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications	2019-10-17	Paper
Reversible computation in Petri nets	2018-10-17	Paper

Research outcomes over time

This page was built for person: Kyriaki Psara