Gravar-mail: Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs