Challenge problems

Here are some problems that can be stated (but maybe not solved!) without much detailed knowledge.
If you feel like it and it does not impair your normal studies, have a go at them! Contact me if things are not clear.

Term rewriting (H.Zantema, in Dutch)
Petri net (graph algorithms) (M.Voorhoeve)