Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve management for timed event graph #14

Open
Lecrapouille opened this issue Apr 25, 2024 · 0 comments
Open

Improve management for timed event graph #14

Lecrapouille opened this issue Apr 25, 2024 · 0 comments

Comments

@Lecrapouille
Copy link
Owner

Lecrapouille commented Apr 25, 2024 •
edited
Loading

Using SemiHoward.teg:

  • the arc T2 -> T2 is not displayed.
  • arcs with cycles can be superposed
  • Moving nodes not working.
  • Left mouse click: shall not create places (which are not displayed)
  • arc from/to dummy nodes shall create a new arc.
  • Calling Howard: the cycle T2 -> T2 is not displayed. Transitions shall be red.
  • Delete transition shall also removes hidden places
  • TBD: Delete arcs shall also remove arc touching the removed place
  • Menu: convert to timed event graph shall show invalid arcs
  • Affichage: mettre un tokens + nombre, virer le nom de la place.
  • Lors de la simulation, faire que les tokens soient toujours affichés sur leurs transitions finales
Lecrapouille added a commit that referenced this issue Apr 27, 2024
@Lecrapouille
Fixing mouse actions in TimedEventGraph mode #14
ab90791
Lecrapouille added a commit that referenced this issue May 1, 2024
@Lecrapouille
Fixing mouse actions in TimedEventGraph mode #14
bd08adb
Lecrapouille added a commit that referenced this issue May 1, 2024
@Lecrapouille
Fixing mouse actions in TimedEventGraph mode #14
9263d8a
Lecrapouille added a commit that referenced this issue May 14, 2024
@Lecrapouille
Fix adding wrong nodes when dragging in timed event graph #14
263e0d0
Lecrapouille added a commit that referenced this issue May 14, 2024
@Lecrapouille
Do not search places in timed event graph #14
9807d89
Lecrapouille added a commit that referenced this issue May 18, 2024
@Lecrapouille
Fix adding wrong nodes when dragging in timed event graph #14
9adbe79
Lecrapouille added a commit that referenced this issue May 18, 2024
@Lecrapouille
Do not search places in timed event graph #14
ea49b55
Lecrapouille added a commit that referenced this issue May 18, 2024
@Lecrapouille
Timed event graph: remove places when a transition is removed #14
c683945
Lecrapouille added a commit that referenced this issue May 21, 2024
@Lecrapouille
Timed event graph: remove places when a transition is removed #14
8a3b49c
Lecrapouille added a commit that referenced this issue Jun 3, 2024
@Lecrapouille
Change the look of the event graphs #14
efb856e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Lecrapouille