GitHub repository: maxcreeger/JGrafcetAnimator
Primary language: Java
Created: 2019-01-21T11:14:41Z
Description: Animates dynamically a JGrafcet