Visualization of analysis results in the ProC/B toolset

The ProC/B modeling notation adopts a process-oriented and hierarchical view on systems and is tailored to the performance modeling of large logistic networks. The ProC/B toolset provides an integrated user interface for graphical model specification and for controlling subsequent analysis. ProC/B modeling is oriented towards logistics networks, but independent of any particular analytical model representation and accompanying analysis techniques. Thus the toolset gives a coherent starting point to different analysis techniques. In this paper, we focus on how model results can be further processed and enhanced to the level at which the model was originally built (ProC/B) and how enhanced results can be incorporated into the graphical ProC/B model representation. In this paper, results comprise deadlocks and performance figures.