Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes | IEEE Conference Publication | IEEE Xplore