Wojciech Penczek

• Advances in verification of time petri nets and timed automata
• Challenging Problems and Solutions in Intelligent Systems
• Transactions on Petri Nets and Other Models of Concurrency XII
• Transactions on Petri Nets and Other Models of Concurrency XIII
• Applications and Theory of Petri Nets
• Half a century of inspirational research