In mathematics graph theory a process graph or P-graph is a directed bipartite graph used in workflow modeling.