Gantt Chart Visualization

Visualization of the behavior of systems or models of systems helps to understand those behaviors in depth. Gantt chart-like visualizations are very commonly used as they can visualize a logical or physical timeline with quantitative and or ordering. It visualizes atomic actions or activities, logically grouped into ‘swimming lanes’ and the existing dependencies between the actions.

Ganttt chart

References

  1. Martijn Hendriks and Marc Geilen and Amir R. B. Behrouzian and Twan Basten and Hadi Alizadeh and Dip Goswami (2016): Checking Metric Temporal Logic with TRACE. In: 2016 16th International Conference on Application of Concurrency to System Design (ACSD), pp. 19-24, 2016.
  2. Martijn Hendriks and Frits W. Vaandrager (2012): Reconstructing Critical Paths from Execution Traces. In: 2012 IEEE 15th International Conference on Computational Science and Engineering, pp. 524-531, 2012.
  3. Bram Sanden and Yuri Blankenstein and Ramon Schiffelers and Jeroen Voeten (2021): LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), pp. 1-8, 2021.