Volume 101, Numbers 1-2, 2010
- Ludwik Czaja:
Preface.

- Ludwik Czaja, Manfred Kudlek:
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations.
1-7

- Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola:
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics.
9-27

- Michael Köhler-Bußmeier, Frank Heitmann:
Safeness for Object Nets.
29-43

- Maciej Koutny, Marta Pietkiewicz-Koutny:
Minimal Regions of ENL-Transition Systems.
45-58

- Irina A. Lomazova:
Interacting Workflow Nets for Workflow Process Re-Engineering.
59-70

- Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems.
71-90

- Marek Palasinski, Krzysztof Pancerz:
On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties.
91-103

- Roman R. Redziejowski:
Infinite Product of Traces Represented by Projections.
105-113

- Zbigniew Suraj, Piotr Grochowalski:
Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach.
115-123

- Alicja Wakulicz-Deja, Malgorzata Przybyla-Kasperek:
Multi-Agent Decision Taking System.
125-141

- Marcin Wolski:
Perception and Classification. A Note on Near Sets and Rough Sets.
143-155

Volume 101, Number 3, 2010
Volume 101, Number 4, 2010
Last update Fri May 24 20:20:39 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page