Email Record: Petri nets and other models of concurrency :