Petri Net Technology for Communication-Based Systems