Łukasz Mikulski

Available identifiers

zbMath Open mikulski.lukaszMaRDI QIDQ247251

List of research outcomes

Publication	Date of Publication	Type
Reversing Steps in Petri Nets	2024-01-29	Paper
Reversing Unbounded Petri Nets	2024-01-29	Paper
Interval traces with mutex relation	2023-11-16	Paper
Reaction Systems, Transition Systems, and Equivalences	2023-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5884964	2023-03-24	Paper
Formal translation from reversing Petri nets to coloured Petri nets	2022-11-11	Paper
Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view	2022-02-21	Paper
Investigating Reversibility of Steps in Petri Nets	2022-02-01	Paper
Algebraic Structure of Step Traces and Interval Traces	2021-05-20	Paper
Relational structures for concurrent behaviours	2021-03-09	Paper
Reaction Systems and Enabling Equivalence	2020-06-21	Paper
Generating all minimal Petri net unsolvable binary words	2020-02-14	Paper
An extension of the taxonomy of persistent and nonviolent steps	2020-02-07	Paper
Approximate verification of strategic abilities under imperfect information	2020-01-20	Paper
An efficient characterization of Petri net solvable binary words	2019-12-18	Paper
Classifying invariant structures of step traces	2019-06-25	Paper
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended Version)	2019-02-08	Paper
A Precise Characterisation of Step Traces and Their Concurrent Histories	2019-02-08	Paper
Reversing Transitions in Bounded Petri Nets	2018-05-03	Paper
Alphabets of Acyclic Invariant Structures	2018-01-19	Paper
Invariant Structures and Dependence Relations	2018-01-19	Paper
Conditions for Petri Net Solvable Binary Words	2017-06-20	Paper
Reversible Computation vs. Reversibility in Petri Nets	2016-08-10	Paper
Persistent and Nonviolent Steps and the Design of GALS Systems	2016-05-11	Paper
Characterising Concurrent Histories	2016-04-28	Paper
Square-Free Words over Partially Commutative Alphabets	2016-04-08	Paper
Order Structures for Subclasses of Generalised Traces	2016-04-08	Paper
Step traces	2016-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q5501011	2015-08-10	Paper
Folded Hasse diagrams of combined traces	2014-04-15	Paper
Transposition Rearrangement: Linear Algorithm for Length-Cost Model	2014-04-02	Paper
Algebraic Structure of Combined Traces	2013-09-06	Paper
A Taxonomy of Persistent and Nonviolent Steps	2013-06-28	Paper
On persistent reachability in Petri nets	2013-06-06	Paper
Algebraic Structure of Combined Traces	2012-09-25	Paper
Internal Conflict-Free Projection Sets	2010-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q5506382	2009-01-28	Paper

Research outcomes over time

This page was built for person: Łukasz Mikulski