W
Wojciech Penczek
6 works on record
Works

Advances in verification of time petri nets and timed automata

Transactions on Petri Nets and Other Models of Concurrency XIII

Challenging Problems and Solutions in Intelligent Systems

Transactions on Petri Nets and Other Models of Concurrency XII
Half a century of inspirational research
Half a century of inspirational research
Applications and Theory of Petri Nets
Applications and Theory of Petri Nets