Αποστολή με SMS: Process Algebras for Petri Nets