Text this: Petri nets and other models of concurrency - ICATPN 2006 :