Petri Net Technology for Communication-Based Systems 2003