For the most recent entries see the
Petri Nets Newsletter.
Polrola, A.
-
Penczek, Wojciech;
Polrola, Agata:
Advances in Verification of Time Petri Nets and Timed Automata.
2006.
-
Pólrola, Agata:
Abstract Models for Time Petri Nets for TCTL Verification.
2005.
-
Penczek, W.;
Polrola, A.;
Wozna, B.;
Zbrzezny, A.:
Bounded Model Checking for Reachability Testing in Time Petri Nets.
2004.
-
Penczek, Wojciech;
Pólrola, Agata:
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.
2004.
-
Dembinski, Piotr;
Penczek, Wojciech;
Pólrola, Agata:
Automated Verification of Infinite State Concurrent Systems.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography