Zustandsmaschine auf AVR (Petrinetze)

Eine Zustandsmaschine ist trivial :
switch state {
..
}

hi nullpainter,
danke für die schnelle Antwort.

ich will nicht eine einfache zustandssmaschine mit 2-5 zuständen machen.
wenn es so einfach wäre, gäbe es keine theorischen abhandlungen zu 
diesem thema. ich habe dezent darauf mit "Petri-Netzen" hingewiesen. Da 
sind auch parallel ablaufende prozesse möglich, synchronisation etc...
sicherlich auch mit einem RTOS realsiierbar, aber dafür sind die dinger 
nicht gedacht.

Also. Ich suche nach wie vor ein system mit "proof of concept" um die 
entwürfe in form einer zustandsmaschine (bis zu petri netzen) zu 
implementieren.
dabei sollte es abstraction layers geben um die portierbarkeit nicht 
gleich zu einem neuen entwicklungsproblem zu machen.

Habe gestern visualState gefunden http://www.iar.com/
das scheint was brauchbares zu bieten. muss ich mir noch genauer 
anschauen.
wobei die beschränkung auf 20 zustände macht das ding recht 
uninteressant.

viele grüße

.. nachtrag: RTOS:
?? vielleicht doch gut geeignet? ich mache mir da mal ein paar gedanken 
zu. vll hat jemand schon erfahrung damit??

gruß