fmidue/modelling-tasks

Issues somebody may already be working on are listed last. List everything by date

• Has the placement of multiplicities become way worse?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#692 · Opened Aug 17, 2026

• Find new config

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 45/100

  fmidue/modelling-tasks#688 · 1 comment · Opened Jul 31, 2026

• More configurable structural options in generating class diagrams

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  cd-od enhancement

  Difficulty 5/5 Over a week Newbie friendliness 45/100

  fmidue/modelling-tasks#680 · Opened Jul 10, 2026

• Static `ExtraText` and Collapsible `ExtraText` can't be displayed at same time?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 52/100

  fmidue/modelling-tasks#677 · 6 comments · Opened Jul 2, 2026

• add checks to `verifyDeadlock` and `verifyReach`

  May be free again @horriblename claimed this 96 days ago, and no pull request is open. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  fmidue/modelling-tasks#674 · 1 assignee · Opened Jul 2, 2026

• Flex-NameCdError: use instance validator

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 48/100

  fmidue/modelling-tasks#670 · 1 comment · Opened Jun 30, 2026

• Some findings about (lack of) variation in AD task instances

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad observation

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#653 · 1 comment · Opened Jun 18, 2026

• Printing both CD and OD in `DifferentNames` task feedback for some variants

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  cd-od feedback

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  fmidue/modelling-tasks#616 · 6 comments · Opened Mar 24, 2026

• Hovering support for Activity Diagrams

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad graphics low-priority possibly-hilfskraft

  Difficulty 5/5 Over a week Newbie friendliness 15/100

  fmidue/modelling-tasks#603 · Opened Feb 17, 2026

• Structure of the parallel generations

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  fmidue/modelling-tasks#578 · 1 comment · Opened Feb 4, 2026

• Add XRefCheck to CI

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  low-priority possibly-hilfskraft

  Difficulty 2/5 1-3 hours Newbie friendliness 48/100

  fmidue/modelling-tasks#564 · Opened Jan 23, 2026

• Hovering doesn't work properly on Petri net places with high token count

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  graphics petri possibly-hilfskraft

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  fmidue/modelling-tasks#562 · 7 comments · Opened Jan 20, 2026

• Impact of shuffling on runtimes

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  refactor research

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#556 · 1 comment · Opened Jan 18, 2026

• The `graphLayouts` setting may cause task instances to fail to render on Autotool.

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  check required petri

  Difficulty 4/5 3-5 days Newbie friendliness 32/100

  fmidue/modelling-tasks#540 · 6 comments · Opened Jan 12, 2026

• Test failure on `DifferentNames`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug cd-od testing

  Difficulty 2/5 1-3 hours Newbie friendliness 68/100

  fmidue/modelling-tasks#508 · 4 comments · Opened Dec 27, 2025

• Notification on nightly test failures

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  build testing

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#481 · Opened Dec 15, 2025

• Parametrize draw commands for CDs and ODs

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  cd-od graphics

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#478 · Opened Dec 15, 2025

• Deliberately "anti-directional" inheritances in composition cycles

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy cd-od enhancement

  Difficulty 4/5 3-5 days Newbie friendliness 45/100

  fmidue/modelling-tasks#464 · 1 reaction · Opened Dec 2, 2025

• Object diagrams with at least two instances of the same class

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy cd-od low-priority

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  fmidue/modelling-tasks#462 · 1 comment · Opened Dec 1, 2025

• Formulierungsdetail bei `RepairCd`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  cd-od phrasing possibly-hilfskraft

  Difficulty 1/5 Under an hour Newbie friendliness 50/100

  fmidue/modelling-tasks#458 · 7 comments · 1 reaction · Opened Nov 30, 2025

• Verbalisierung von Multiplizitäten

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  cd-od phrasing

  Difficulty 3/5 1-2 days Newbie friendliness 35/100

  fmidue/modelling-tasks#457 · 2 comments · 1 reaction · Opened Nov 30, 2025

• Repetitions also in `EnterAS`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#448 · Opened Oct 22, 2025

• Follow-up to #433

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad

  Difficulty 3/5 1-2 days Newbie friendliness 30/100

  fmidue/modelling-tasks#446 · 1 comment · Opened Oct 22, 2025

• Using `Set` more

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  copilot-eventually refactor

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#403 · Opened Sep 22, 2025

• Refactor `DeadlockConfig` and `ReachConfig`?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  copilot-eventually petri

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#398 · 2 comments · Opened Sep 17, 2025

• Resolve usage of `convertToSimple` and `convertToPetriNet`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#397 · Opened Sep 17, 2025

• Further cleanup of Thick-Edges?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy cd-od feedback-required

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#342 · Opened Jul 18, 2025

• Remove "segments" for generation

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  refactor

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#340 · 1 comment · Opened Jul 9, 2025

• Simplify verbalization of CD relationships in some cases?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  cd-od phrasing possibly-hilfskraft

  Difficulty 4/5 3-5 days Newbie friendliness 38/100

  fmidue/modelling-tasks#335 · 1 comment · Opened Jul 7, 2025

• Support having abstract classes in `MatchCdOd`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy cd-od enhancement

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#331 · 1 comment · Opened May 8, 2025

• Amend implementation of getDefaultNet

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy petri

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  fmidue/modelling-tasks#329 · 1 comment · Opened Apr 24, 2025

• weitere Vereinfachung des "Knotenzählens" in Petri-Aufgaben

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy petri

  Difficulty 3/5 1-2 days Newbie friendliness 45/100

  fmidue/modelling-tasks#317 · Opened Apr 1, 2025

• `PickInstance`/`PetriNet.Types.DrawSettings` refactoring?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  petri

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#316 · 2 comments · Opened Mar 28, 2025

• `Int` scope handling

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#315 · Opened Mar 26, 2025

• `petriScopeBitWidth` braucht nicht mehr (immer) die `places` und `transitions` Angaben?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy petri

  Difficulty 3/5 1-2 days Newbie friendliness 45/100

  fmidue/modelling-tasks#314 · 1 comment · Opened Mar 25, 2025

• `active` -> `activated`

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  copilot-eventually petri refactor

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#310 · Opened Mar 7, 2025

• Dealing with the `needsTuning` occurrences

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  petri testing

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#307 · 2 comments · Opened Feb 27, 2025

• `sourceTransitionsConstraints` wrongly implemented?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy bug petri

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#306 · Opened Feb 27, 2025

• (in)dependent shuffling for Select/Pick tasks?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad cd-od petri

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#305 · Opened Feb 17, 2025

• bestimmte Tests für *jeden* Aufgabentyp

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  copilot-eventually testing

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  fmidue/modelling-tasks#304 · Opened Feb 17, 2025

• interaction between number of active transitions and presence of source transitions in concurrency tasks

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  alloy petri

  Difficulty 3/5 1-2 days Newbie friendliness 35/100

  fmidue/modelling-tasks#303 · 3 comments · Opened Feb 16, 2025

• Zusammenhang von auxiliaryPetriNodeAbsent und cycles

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad alloy

  Difficulty 4/5 3-5 days Newbie friendliness 25/100

  fmidue/modelling-tasks#302 · Opened Feb 7, 2025

• Enforcement of `noActivityFinalInForkBlocks = Just True` in `SelectPetri`, `MatchPetri`, `FindAuxiliaryPetriNodes`?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad alloy

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#301 · 4 comments · Opened Feb 5, 2025

• Missing config checks in AD sequence tasks?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad alloy

  Difficulty 3/5 1-2 days Newbie friendliness 45/100

  fmidue/modelling-tasks#300 · Opened Feb 5, 2025

• Why can't there be two activity final nodes outside fork blocks?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  ad alloy

  Difficulty 5/5 Over a week Newbie friendliness 20/100

  fmidue/modelling-tasks#299 · 1 comment · Opened Feb 5, 2025

• Feedback-Vorschlag (komplex) bei Konflikt-Erkennen-Aufgabe (wäre sicher analog bei Nebenläufigkeit)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement feedback petri

  Difficulty 4/5 3-5 days Newbie friendliness 30/100

  fmidue/modelling-tasks#270 · 2 comments · Opened Oct 2, 2024

• Show solution on syntactically wrong submissions?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  exam feedback observation

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#265 · 1 comment · Opened Sep 26, 2024

• Tutorrückmeldung bei Petri-Pick

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement feedback petri possibly-hilfskraft

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  fmidue/modelling-tasks#255 · 1 comment · Opened Jun 21, 2024

• Bewertungsfunktion bei Reach-Aufgaben

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  fairness grading observation

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#246 · 2 comments · Opened Mar 13, 2024

• Mit "wilden" Eingaben etwa hinsichtlich Anführungszeichen umgehen?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement possibly-hilfskraft

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  fmidue/modelling-tasks#237 · 3 comments · Opened Jan 31, 2024