Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Arbeitspapiere der GMD No. 328, July 1988.
Abstract: Based on an algebraic unfolding technique, occurrence structures are studied as a net model of condition/event systems behaviour. In a very natural way it is related to the process of a system, reflecting both concurrency and choice in forward and backward direction.