Wojciech Penczek

Wojciech Penczek

2 books in the database

Books

Advances in verification of time petri nets and timed automataWojciech Penczek

Advances in verification of time petri nets and timed automata

Wojciech Penczek · 2006

Half a century of inspirational researchWojciech Penczek

Half a century of inspirational research

Wojciech Penczek · 2007

Co-authored books and collections

Books that list Wojciech Penczek among their authors but not as the lead author: co-written works, collections and compilations.

Transactions on Petri Nets and Other Models of Concurrency XIIIMaciej Koutny

Transactions on Petri Nets and Other Models of Concurrency XIII

Maciej Koutny · 2018

Transactions on Petri Nets and Other Models of Concurrency XIIMaciej Koutny

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Koutny · 2017

Applications and Theory of Petri NetsJohan Lilius

Applications and Theory of Petri Nets

Johan Lilius · 2010