Integrated information systems design : an approach based on object-oriented concepts and Petri nets : proefschrift - Verkoulen, Peter Antonius Christiaan (1993)