Reversing Computations Modelled by Coloured Petri Nets

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara. Reversing Computations Modelled by Coloured Petri Nets. In Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona, editors, Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. Volume 2115 of CEUR Workshop Proceedings, pages 91-111, CEUR-WS.org, 2018. [doi]

Authors

Kamila Barylska

This author has not been identified. Look up 'Kamila Barylska' in Google

Anna Gogolinska

This author has not been identified. Look up 'Anna Gogolinska' in Google

Lukasz Mikulski

This author has not been identified. Look up 'Lukasz Mikulski' in Google

Anna Philippou

This author has not been identified. Look up 'Anna Philippou' in Google

Marcin Piatkowski

This author has not been identified. Look up 'Marcin Piatkowski' in Google

Kyriaki Psara

This author has not been identified. Look up 'Kyriaki Psara' in Google