A kernel of a graphic environment for truly concurrent process description languages