Text this: Petri nets and other models of concurrency :