Welcome to the homepage of PetC. Currently the following pages are available
If you want to download PetC then it can be found here, there are also some examples for those who don't want to make their own FSAs right away.
- Get started with PetC ?
- More complete than the tutorial.
- If you want to know what PetC really means.
- Sad but true, there are bugs left in the program. This page also documents the latest changes and what is intended to be done in the near future.
- Master Thesis (removed)
- PetC was a part of my Masters Thesis work. Since this was finished a few years ago I decided to remove the WWW page now. However, you can find the actual thesis on the download page.