Text this: Petri net technology for communication-based systems :