- Curriculum Vitae
- Curriculum Vitae in Polish (CV - wersja polska)
- List of Scientific Writings (Lista publikacji)

- An Algebra of Time-Consuming Computations
- Modelling Timed Behaviours with the Aid of Event and Configuration Structures
- Algebras of Processes of Timed Petri Nets
- A Kernel Language for Programmed Rewriting of (Hyper)graphs
- Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
- A Representation of Processes of Petri Nets by Matrices
- Processes of Timed Petri Nets
- Failure-Resistant Resource Management in a Distributed Multi-Agent System
- Reachability in Contextual Nets
- An Algebraic Characterization of Independence of Petri Net Processes
- Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
- Behaviour Algebras
- Towards a Framework for Modelling Behaviours of Hybrid Systems
- Multiplicative Transition Systems
- Introduction to (Mathematical Models of) Concurrent Systems
- Probabilistic Models of Random Behaviours of Concurrent Systems
- An Algebraic Framework for Concurrent Systems
- A Mathematical Model of Action
- Towards a Universal Model of Action
- Partially Ordered Domains for Representing Activities
- Lattices generated by information systems and their internal structure