In terms of nets : system design with petri nets and process algebra - Basten, Antonius André (IPA dissertation series, 1998)