Das Handbuch der gefährlichen Güter ist das Standardwerk für den Transport von Gefahrgütern. Es g...

This volume contains the proceedings of the 19th annual International Conference on Application a...

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was h...

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent s...

The 11th volume of ToPNoC contains revised and extended versions of a selection of the best works...

models of concurrency.

In recent years the management of business processes has emerged as one of the major developments...

Business processes are among today's hottest topics in the science and practice of information sy...

The very ?rst model of concurrent and distributed systems was introduced by C.A. Petri in his sem...

zahlen zahlenan an den den Universitäten Universitätenerreichten erreichten besorgniserregende be...

This volume is a documentation of the main results in the research area ¿In- gration of Software ...

This book constitutes the refereed proceedings of the 34th International Conference on Applicatio...