Coloured Petri Nets J. Koerting Mensch-Maschine-Interaktion aus der Sicht maßgeblicher

Mensch-Maschine-Interaktion aus der Sicht maßgeblicher Hersteller und Anwender

It is apparent that

the son of the principal of a school which now bears his name

For the first time the call for papers included a full-paper submission track of original

Coloured Petri Nets J. Koerting Mensch-Maschine-Interaktion aus der Sicht maßgeblicherColoured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and