Kamila Barylska

According to our database, Kamila Barylska authored at least 16 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Translation from Reversing Petri Nets to Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

Proceedings of the Reversible Computation - 14th International Conference, 2022

2021

Acyclic and Cyclic Reversing Computations in Petri Nets.

Kamila Barylska, Anna Gogolinska

Fundam. Informaticae, 2021

2020

Generating all minimal petri net unsolvable binary words.

Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski

Discret. Appl. Math., 2020

2018

Reversible computation vs. reversibility in Petri nets.

Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski

Sci. Comput. Program., 2018

Reversing Transitions in Bounded Petri Nets.

Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski

Fundam. Informaticae, 2018

Reversing Computations Modelled by Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

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, 2018

2017

Properties of Plain, Pure, and Safe Petri Nets.

Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels

Trans. Petri Nets Other Model. Concurr., 2017

2016

Conditions for Petri Net Solvable Binary Words.

Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski

Trans. Petri Nets Other Model. Concurr., 2016

Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis.

Kamila Barylska, Eike Best

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2015

Hierarchy of persistence with respect to the length of action's disability.

Kamila Barylska, Edward Ochmanski

CoRR, 2015

On Decidability of Persistence Notions.

Kamila Barylska, Lukasz Mikulski

Proceedings of the 24th International Workshop on Concurrency, 2015

On Binary Words Being Petri Net Solvable.

Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2014

Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics.

Kamila Barylska

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

On persistent reachability in Petri nets.

Kamila Barylska, Lukasz Mikulski, Edward Ochmanski

Inf. Comput., 2013

2012

Hierarchy of persistency with respect to the length of actions disability.

Kamila Agata Barylska, Edward Ochmanski

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2009

Levels of Persistency in Place/Transition Nets.

Kamila Barylska, Edward Ochmanski

Fundam. Informaticae, 2009