[an error occurred while processing this directive] [an error occurred while processing this directive]

PetC - FSM Simulator for Windows

Home Courses Programs Components Downloads

Welcome to the homepage of PetC. Currently the following pages are available
Tutorial
Get started with PetC ?
Manual
More complete than the tutorial.
FAQ
If you want to know what PetC really means.
Errata
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.
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.