High-level Petri Nets

A collection of recent research papers which study the applications and theory of high-level Petri nets, a powerful computer language for system modelling and validation. Each section of the text outlines the main concepts and gives bibliographic notes on the development of high-level nets.