Wojciech Penczek

No bio available. Add one in Open Library.

Books by Wojciech Penczek (50 max)

+ shelf+ list

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)

2006

Wojciech Penczek, Agata Pólrola

+ shelf+ list

Challenging Problems and Solutions in Intelligent Systems

2016

Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

+ shelf+ list

Half a century of inspirational research: honoring the scientific influence of Antoni Mazurkiewicz

2007

Wojciech Penczek, Grzegorz Rozenberg

+ shelf+ list

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

2010

Johan Lilius, Wojciech Penczek

+ shelf+ list

Transactions on Petri Nets and Other Models of Concurrency XII

2017

Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

+ shelf+ list

Transactions on Petri Nets and Other Models of Concurrency XIII

2018

Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek