Visualized Semantic Model based on P/T Nets