Search -
High-Level Petri Nets: Theory and Application
HighLevel Petri Nets Theory and Application Author:K. Jensen 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.