Documenting a PIC project usually involves a state diagram.  I recall
from my earlier days in a software engineering project a methodology
that caught me by surprise.

The one I am used to is a circle for each state, and lines with arrows
for the transitions.  The lines are then labelled with the condition
that causes the transition.

Does anyone recall alternative methodologies?
Has anyone got a set of semantic rules?

--
James Cameron                                      (quozl@us.netrek.org)

Linux, Firewalls, OpenVMS, Software Engineering, CGI, HTTP, X, C, FORTH,
COBOL, BASIC, DCL, csh, bash, ksh, sh, Electronics, Microcontrollers,
Disability Engineering, Netrek, Bicycles, Pedant, Farming, Home Control,
Remote Area Power, Greek Scholar, Tenor Vocalist, Church Sound, Husband.

"Specialisation is for insects." -- Robert Heinlein.