[Front cover] (PDF)
Title Page i (PDF)
Title Page iii (PDF)
[Copyright notice] (PDF)
Table of contents (PDF)
Message from the Conference Chairs (PDF)
Conference organizers (PDF)
Program Committee (PDF)
Additional Reviewers (PDF)
On Generating *-Sound Nets with Substitution (Abstract)
Building Tight Occurrence Nets from Reveals Relations (Abstract)
Cost-Based Fitness in Conformance Checking (Abstract)
Towards Supervisory Control of Interactive Markov Chains: Controllability (Abstract)
STG Decomposition: Partitioning Heuristics (Abstract)
Data-Flow Analysis of Extended Finite State Machines (Abstract)
A GALS Language for Dynamic Distributed and Reactive Programs (Abstract)
Timed Games for Computing WCET for Pipelined Processors with Caches (Abstract)
Author Index (PDF)
[Publishers information] (PDF)