From: Kurt Jensen <kjensen@daimi.aau.dk>
Date: Tue, 7 May 1996 11:00:34 +0200
Subject: New Version of the Occurrence Graph Manual

The Design/CPN WWW pages now contains an updated version of the Occurrence
Graph Manual. Some additional information about timed occurrence graphs has
been added (and a few misprints have been corrected).

Kurt Jensen