The following pages link to Łukasz Mikulski (Q247251):
Displaying 34 items.
- On persistent reachability in Petri nets (Q1951594) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view (Q2077739) (← links)
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- An efficient characterization of Petri net solvable binary words (Q2280188) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← links)
- Generating all minimal Petri net unsolvable binary words (Q2295623) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- Square-Free Words over Partially Commutative Alphabets (Q2799194) (← links)
- Order Structures for Subclasses of Generalised Traces (Q2799218) (← links)
- Characterising Concurrent Histories (Q2804174) (← links)
- Persistent and Nonviolent Steps and the Design of GALS Systems (Q2805425) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Alphabets of Acyclic Invariant Structures (Q4601131) (← links)
- Invariant Structures and Dependence Relations (Q4601146) (← links)
- Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended Version) (Q4621173) (← links)
- A Precise Characterisation of Step Traces and Their Concurrent Histories (Q4621224) (← links)
- Reversing Transitions in Bounded Petri Nets (Q4637903) (← links)
- Algebraic Structure of Step Traces and Interval Traces (Q4988962) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- Reaction Systems and Enabling Equivalence (Q5114219) (← links)
- Internal Conflict-Free Projection Sets (Q5188704) (← links)
- Conditions for Petri Net Solvable Binary Words (Q5268428) (← links)
- A Taxonomy of Persistent and Nonviolent Steps (Q5300873) (← links)
- Transposition Rearrangement: Linear Algorithm for Length-Cost Model (Q5406676) (← links)
- (Q5501011) (← links)
- (Q5506382) (← links)
- (Q5884964) (← links)
- Algebraic Structure of Combined Traces (Q5891135) (← links)
- Algebraic Structure of Combined Traces (Q5891760) (← links)
- Step traces (Q5963403) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
