In terms of nets. System design with Petri nets and process algebra - Basten, Antonius André (Technická univerzita, 1998)