Johan Lilius

Applications and Theory of Petri Nets

On the structure of high-level nets