0 | -- | 0 | Ludwik Czaja. Preface |
1 | -- | 7 | Ludwik Czaja, Manfred Kudlek. Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations |
9 | -- | 27 | Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola. Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics |
29 | -- | 43 | Michael Köhler-Bußmeier, Frank Heitmann. Safeness for Object Nets |
45 | -- | 58 | Maciej Koutny, Marta Pietkiewicz-Koutny. Minimal Regions of ENL-Transition Systems |
59 | -- | 70 | Irina A. Lomazova. Interacting Workflow Nets for Workflow Process Re-Engineering |
71 | -- | 90 | Alessio Lomuscio, Wojciech Penczek, Hongyang Qu. Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems |
91 | -- | 103 | Marek Palasinski, Krzysztof Pancerz. On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties |
105 | -- | 113 | Roman R. Redziejowski. Infinite Product of Traces Represented by Projections |
115 | -- | 123 | Zbigniew Suraj, Piotr Grochowalski. Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach |
125 | -- | 141 | Alicja Wakulicz-Deja, Malgorzata Przybyla-Kasperek. Multi-Agent Decision Taking System |
143 | -- | 155 | Marcin Wolski. Perception and Classification. A Note on Near Sets and Rough Sets |