Αποστολή με SMS: Petri Nets and Other Models of Concurrency - ICATPN 2006