Search filters

List of works by Łukasz Mikulski

A Taxonomy of Persistent and Nonviolent Steps

scientific article published in 2013

Algebraic Structure of Combined Traces

scientific article published in 2012

Algebraic Structure of Step Traces and Interval Traces

scientific article published on 28 September 2020

Alphabets of Acyclic Invariant Structures

scientific article published on 9 August 2017

An Efficient Characterization of Petri Net Solvable Binary Words

scientific article published in 2018

An extension of the taxonomy of persistent and nonviolent steps

scientific article published in July 2017

Analysing Multi-Agent Systems using 1-safe Petri Nets

scientific paper published in CEUR-WS Volume 3170

Approximate verification of strategic abilities under imperfect information

scientific article published in December 2019

Asynchronous Parallel Molecular Dynamics Simulations

Characterising Concurrent Histories

scientific article published on 8 July 2015

Classifying invariant structures of step traces

scientific article published in September 2019

Conditions for Petri Net Solvable Binary Words

scientific article published in 2016

Folded Hasse diagrams of combined traces

scientific article published in April 2014

Foundations of Reversible Computation

scientific article published in 2020

GPU Computations and Memory Access Model Based on Petri Nets

scientific article published in 2018

Generating all minimal petri net unsolvable binary words

scientific article published in March 2020

Invariant Structures and Dependence Relations

scientific article published on 12 September 2017

On Generation of Context-Abstract Plans

scientific article published in 2015

On persistent reachability in Petri nets

scientific article published in February 2013

Order Structures for Subclasses of Generalised Traces

scientific article published in 2015

Persistent and Nonviolent Steps and the Design of GALS Systems

scientific article published in 2015

Reaction Systems and Enabling Equivalence

scientific article published on 23 October 2019

Reaction Systems, Transition Systems, and Equivalences

scientific article published in 2018

Relational structures for concurrent behaviours

scientific article published in October 2020

Reversible Computation vs. Reversibility in Petri Nets

scientific article published in 2016

Reversible computation vs. reversibility in Petri nets

scientific article published in January 2018

Reversing Steps in Petri Nets

scientific article published in 2019

Reversing Transitions in Bounded Petri Nets

scientific article published on 31 January 2018

Reversing Unbounded Petri Nets

scientific article published in 2019

Square-Free Words over Partially Commutative Alphabets

scientific article published in 2015

Step traces

scientific article published on 10 June 2015