Books by Wojciech Penczek
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XII
Challenging Problems and Solutions in Intelligent Systems
Advances in verification of time petri nets and timed automata
Half a century of inspirationa
Half a century of inspirational research