Colloquium on Petri Net Technologies for Modeling Communication Based Systems