Partial Exploration Tool 2.0 Important: In case you want to use PET or write some extensions, we strongly recommend obtaining the current version from the repository https://gitlab.lrz.de/i7/partial-exploration. PET is still under active development and already changed significantly compared to this version. A detailed README how to use this artifact can be found inside the .zip file.