I can remember the talk about petri nets and weird layout with minus signs (---->). Some of the material seems to be discussed in Damian's papers about Embedded Input Parsing for C++ from this site: http://www.csse.monash.edu.au/~damian/papers/