Penczek, W.

• Penczek, Wojciech; Polrola, Agata:
  Advances in Verification of Time Petri Nets and Timed Automata. 2006.

• 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.

• Penczek, Wojciech; Pórola, Agata:
  Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. 2001.

• Penczek, W.:
  Partial order reductions for checking branching properties of time Petri nets. 2000.

• Penczek, Wojciech; Gerth, Rob; Kuiper, Ruurd; Szreter, Maciej:
  Partial Order Reductions Preserving Simulations. 1999.

• Ochmanski, Edward; Penczek, Wojciech:
  Inevitability in Diamond Processes. 1990.

• Mazurkiewicz, A.; Ochmanski, E.; Penczek, W.:
  Concurrent Systems and Inevitability. 1989.

• Penczek, W.:
  A Temporal Logic for the Local Specification of Concurrent Systems. 1989.

• Penczek, W.:
  A Temporal Logic for Event Structures. 1988.

Back to the Petri Nets Bibliography