Automatic message sequence chart creation from simulation run of the proposed parametric colored Petri net model of the Chandy-Lamport algorithm

<p><span>These videos show the creation of two message sequence charts from simulation runs of the proposed parametric colored Petri net model of the Chandy-Lamport algorithm using the CPN tool with three constituting processes. </span></p> <p><strong><span>Message Sequence Chart of <span>&nbsp;</span>Parametric Model With 3 Processes via Automatic Simulation Run_SuppInfo.mp4</span></strong><span>: This video shows the automatic generation of a message sequence chart of the proposed parametric colored Petri net model of the Chandy-Lamport distributed global snapshot algorithm using the CPN tool version 4.0.0. The number of constituting processes is parametric in the model and was set to three. The video was generated using the authors' updated CPN tool extension server. The automatic simulation run of the model has been used to create this video. The CPN tool randomly selects the enabled transition at each step in an automatic simulation run.</span></p> <p><strong><span>Message Sequence Chart of Parametric Model With 3 Processes via Step-By-Step Simulation Run_SuppInfo.mp4:</span></strong><span> This video shows the automatic generation of a message sequence chart of the proposed parametric colored Petri net model of the Chandy-Lamport algorithm in a step-by-step simulation run with our updated extension server of the CPN tools version 4.0.0. The number of constituting processes is parametric in the model and was set to three. We manually fired our selected enabled transition of the model to create this video. </span></p>