Text this: Petri Net Technology for Communication-Based Systems