| 0 | -- | 0 | Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj. Preface: Concurrency Specification and Programming |
| 1 | -- | 12 | Roberto Barbuti, Stefano Cataudella. Abstract Interpretation of an Object Calculus for Synchronization Optimizations |
| 13 | -- | 27 | Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina. A Probabilistic Model for Molecular Systems |
| 29 | -- | 44 | Marco Bellia, M. Eugenia Occhiuto. Higher order Programming in Java: Introspection, Subsumption and Extraction |
| 45 | -- | 64 | Ludwik Czaja. An Axiomatic Framework for Proving Correctness of Nets |
| 65 | -- | 75 | Berndt Farwer, Michael Köhler. Petri Net Processes for Zero-Safe Nets |
| 77 | -- | 92 | Anna Gomolinska. Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces |
| 93 | -- | 105 | Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska. On Star-Connected Flat Languages |
| 107 | -- | 120 | Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina. Automatic Modeling and Analysis of MSC-specified Systems |
| 121 | -- | 130 | Manfred Kudlek. Probability in Petri Nets |
| 131 | -- | 147 | Rafal Latkowski. Flexible Indiscernibility Relations for Missing Attribute Values |
| 149 | -- | 162 | Louchka Popova-Zeugmann, Monika Heiner, Ina Koch. Time Petri Nets for Modelling and Analysis of Biochemical Networks |
| 163 | -- | 174 | Louchka Popova-Zeugmann, Matthias Werner. Extreme Runtimes of Schedules Modelled by Time Petri Nets |
| 175 | -- | 185 | Roman R. Redziejowski. Associative Omega-products of Traces |
| 187 | -- | 201 | Kay Schröter, Diemo Urbig, Nora Hans. Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations |
| 203 | -- | 217 | Jaroslaw Stepaniuk, Jan G. Bazan, Andrzej Skowron. Modelling Complex Patterns by Information Systems |
| 219 | -- | 231 | Zbigniew Suraj, James F. Peters, Piotr Grochowalski. A Controller Design for the Khepera Robot: A Rough Set Approach |
| 233 | -- | 247 | Zbigniew Suraj, Krzysztof Pancerz. Restriction-Based Concurrent System Design Using the Rough Set Formalism |
| 249 | -- | 269 | Piotr Synak, Jan G. Bazan, Andrzej Skowron, James F. Peters. Spatio-Temporal Approximate Reasoning over Complex Objects |
| 271 | -- | 285 | Diemo Urbig. Weight-Based Negotiation Mechanisms: Balancing Personal Utilities |
| 287 | -- | 301 | Dobieslaw Wróblewski. Universal Semi-local Election Protocol Using Forward Links |
| 303 | -- | 322 | Andrzej Zbrzezny. SAT-based Reachability Checking for Timed Automata with Diagonal Constraints |