Text this: Petri Nets and Other Models of Concurrency – ICATPN 2007