This merge requests mainly modifies the scheduling and petri net generation code. Our PFDL VS Code Extension needs information about the different components (Services, Loops, ..) to group them together inside a box. Moreover, efforts were made to properly cluster petri net components by the dot engine, so the overall appearance of large petri net is enhanced. Finally, some adapations for the observers were made, to provide more information like the used PFDL string.
Changes:
Cluster Petri Net components of the PFDL with the help of the Snakes library
Assign group ids to components so they can be
Save group ids and cluster information in the dot file
This merge requests mainly modifies the scheduling and petri net generation code. Our PFDL VS Code Extension needs information about the different components (Services, Loops, ..) to group them together inside a box. Moreover, efforts were made to properly cluster petri net components by the dot engine, so the overall appearance of large petri net is enhanced. Finally, some adapations for the observers were made, to provide more information like the used PFDL string.
Changes: