Volume XIX, 2009 Synthesis of Petri Nets with Localities, pages 1-23 Authors: M. Koutny and M. Pietkiewicz-Koutny Abstract | References | BibTeX | Full Text (PDF) A Generalized Approach to Optimization of Relational Data Warehouses Using Hybrid Greedy and Genetic Algorithms, pages 25-55 Authors: G. Velinov, M. Kon Popovska, and D. Gligoroski Abstract | References | BibTeX | Full Text (PDF) An Instruction Sequence Semigroup with Involutive Anti-Automorphisms, pages 57-92 Authors: J.A. Bergstra and A. Ponse Abstract | References | BibTeX | Full Text (PDF) Coalgebraic Weak Bisimulation for Action-Type Systems, pages 93-144 Authors: A. Sokolova, E. de Vink, and H. Woracek Abstract | References | BibTeX | Full Text (PDF)