1 Table of Contents: “...Stoichiometric Foundation of Large-Scale Biochemical System Analysis -- Modelling Stochastic Clonal...”

2 Table of Contents: “... — An introduction -- The state explosion problem -- Theory of regions -- Petri nets and other models of concurrency...”

3 Table of Contents: “... and DNA -- A Supramolecular Approach to Metal Array Programming Using Artificial DNA -- Multicomponent...”

4 Table of Contents: “... Paradigm Using the Generative Modeling Language -- Name Resolution by Rewriting in Dynamic Networks...”

5 Table of Contents: “...On the work of Andrzej Ehrenfeucht in model theory -- Syntax vs. semantics on finite structures...”

6 Table of Contents: “... Models -- Addresses of the authors...”

7 Table of Contents: “... expressions and its use for graph rewriting systems -- On context-free sets of graphs and their monadic second...”

8 Table of Contents: “... and single pushouts -- The logical expression of graph properties -- Panel discussion: The use of graph...”

9 Table of Contents: “... of AADL modules using model checking -- Specialization in logic programming: From horn clause logic...”

10 Table of Contents: “... -- Membrane Systems Using Noncooperative Rules with Unconditional Halting -- Modeling Ecosystems Using P...”

11 Table of Contents: “...Graphical Modeling of Higher Plants Using P Systems -- Identifying P Rules from Membrane Structures...”

12 Table of Contents: “... of Transition P Systems in Haskell -- Authentication of Messages Using P Systems -- Eilenberg P Systems -- A...”

13 Table of Contents: “...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...”

14 Table of Contents: “... with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium...”

15 Table of Contents: “... Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED...”

16 Table of Contents: “... Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model...”

17 Subjects: “...Computer Science Logic and Foundations of Programming...”

18 Table of Contents: “... Cycles Can Reveal Statistical Inferences Using Action-accumulating P Systems -- On Evolution...”

19 Table of Contents: “...Section I -- Object Oriented Modelling with Object Petri Nets -- Using Petri Nets for Specifying...”

20 Table of Contents: “... of DSPN models -- Synchronized elementary net systems -- Descriptive and analytical process algebras -- P...”