Wojciech Penczek

6 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Challenging Problems and Solutions in Intelligent Systems

by Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, and Sławomir Zadrożny First published in 2016 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

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

by Wojciech Penczek and Agata Pólrola First published in 2006 — 3 editions

Locate

My Reading Lists:

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

by Johan Lilius and Wojciech Penczek First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
Transactions on Petri Nets and Other Models of Concurrency XIII

by Maciej Koutny, Lars Michael Kristensen, and Wojciech Penczek First published in 2018 — 1 edition

Locate

My Reading Lists:

Create a new list
Transactions on Petri Nets and Other Models of Concurrency XII

by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, and Mingmin Zhang First published in 2017 — 1 edition

Locate

My Reading Lists:

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

by Wojciech Penczek and Grzegorz Rozenberg First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL3179301A

Links outside Open Library

No links yet. Add one?

History

Created April 30, 2008
1 revision

Download catalog record: RDF / JSON

April 30, 2008

Created by an anonymous user

initial import

Wojciech Penczek

6 works Add another?

Challenging Problems and Solutions in Intelligent Systems

Create a new list

Preview Book

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

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

Transactions on Petri Nets and Other Models of Concurrency XIII

Transactions on Petri Nets and Other Models of Concurrency XII

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

Subjects

People

Add to List

ID Numbers

Links outside Open Library

History