Johan Lilius

• Applications and Theory of Petri Nets
• On the structure of high-level nets