fmidue/modelling-tasks

可能已有人在做的 issue 排在最后。 全部按时间排序

• `NameCdError`: result of `getOD` in `getInstanceWithODs` is discarded and the result doesn't play any true role

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  fmidue/modelling-tasks#701 · 9 条评论 · 2026年10月27日 创建

• Has the placement of multiplicities become way worse?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#692 · 2026年8月17日 创建

• Find new config

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 45/100

  fmidue/modelling-tasks#688 · 1 条评论 · 2026年7月31日 创建

• More configurable structural options in generating class diagrams

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cd-od enhancement

  难度 5/5 一周以上 新手友好度 45/100

  fmidue/modelling-tasks#680 · 2026年7月10日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 52/100

  fmidue/modelling-tasks#677 · 6 条评论 · 2026年7月2日 创建

• add checks to `verifyDeadlock` and `verifyReach`

  可能重新可做 @horriblename 于 118 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  fmidue/modelling-tasks#674 · 已指派 1 人 · 2026年7月2日 创建

• Flex-NameCdError: use instance validator

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 48/100

  fmidue/modelling-tasks#670 · 1 条评论 · 2026年6月30日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad observation

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#653 · 1 条评论 · 2026年6月18日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cd-od feedback

  难度 4/5 3-5 天 新手友好度 25/100

  fmidue/modelling-tasks#616 · 6 条评论 · 2026年3月24日 创建

• Hovering support for Activity Diagrams

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad graphics low-priority possibly-hilfskraft

  难度 5/5 一周以上 新手友好度 15/100

  fmidue/modelling-tasks#603 · 2026年2月17日 创建

• Structure of the parallel generations

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  fmidue/modelling-tasks#578 · 1 条评论 · 2026年2月4日 创建

• Add XRefCheck to CI

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  low-priority possibly-hilfskraft

  难度 2/5 1-3 小时 新手友好度 48/100

  fmidue/modelling-tasks#564 · 2026年1月23日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  graphics petri possibly-hilfskraft

  难度 4/5 3-5 天 新手友好度 25/100

  fmidue/modelling-tasks#562 · 7 条评论 · 2026年1月20日 创建

• Impact of shuffling on runtimes

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  refactor research

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#556 · 1 条评论 · 2026年1月18日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  check required petri

  难度 4/5 3-5 天 新手友好度 32/100

  fmidue/modelling-tasks#540 · 6 条评论 · 2026年1月12日 创建

• Test failure on `DifferentNames`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug cd-od testing

  难度 2/5 1-3 小时 新手友好度 68/100

  fmidue/modelling-tasks#508 · 4 条评论 · 2025年12月27日 创建

• Notification on nightly test failures

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  build testing

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#481 · 2025年12月15日 创建

• Parametrize draw commands for CDs and ODs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cd-od graphics

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#478 · 2025年12月15日 创建

• Deliberately "anti-directional" inheritances in composition cycles

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy cd-od enhancement

  难度 4/5 3-5 天 新手友好度 45/100

  fmidue/modelling-tasks#464 · 1 个 reaction · 2025年12月2日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy cd-od low-priority

  难度 5/5 一周以上 新手友好度 35/100

  fmidue/modelling-tasks#462 · 1 条评论 · 2025年12月1日 创建

• Formulierungsdetail bei `RepairCd`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cd-od phrasing possibly-hilfskraft

  难度 1/5 1 小时以内 新手友好度 50/100

  fmidue/modelling-tasks#458 · 7 条评论 · 1 个 reaction · 2025年11月30日 创建

• Verbalisierung von Multiplizitäten

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cd-od phrasing

  难度 3/5 1-2 天 新手友好度 35/100

  fmidue/modelling-tasks#457 · 2 条评论 · 1 个 reaction · 2025年11月30日 创建

• Repetitions also in `EnterAS`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#448 · 2025年10月22日 创建

• Follow-up to #433

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad

  难度 3/5 1-2 天 新手友好度 30/100

  fmidue/modelling-tasks#446 · 1 条评论 · 2025年10月22日 创建

• Using `Set` more

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  copilot-eventually refactor

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#403 · 2025年9月22日 创建

• Refactor `DeadlockConfig` and `ReachConfig`?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  copilot-eventually petri

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#398 · 2 条评论 · 2025年9月17日 创建

• Resolve usage of `convertToSimple` and `convertToPetriNet`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#397 · 2025年9月17日 创建

• Further cleanup of Thick-Edges?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy cd-od feedback-required

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#342 · 2025年7月18日 创建

• Remove "segments" for generation

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  refactor

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#340 · 1 条评论 · 2025年7月9日 创建

• Simplify verbalization of CD relationships in some cases?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cd-od phrasing possibly-hilfskraft

  难度 4/5 3-5 天 新手友好度 38/100

  fmidue/modelling-tasks#335 · 1 条评论 · 2025年7月7日 创建

• Support having abstract classes in `MatchCdOd`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy cd-od enhancement

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#331 · 1 条评论 · 2025年5月8日 创建

• Amend implementation of getDefaultNet

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy petri

  难度 4/5 3-5 天 新手友好度 25/100

  fmidue/modelling-tasks#329 · 1 条评论 · 2025年4月24日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy petri

  难度 3/5 1-2 天 新手友好度 45/100

  fmidue/modelling-tasks#317 · 2025年4月1日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  petri

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#316 · 2 条评论 · 2025年3月28日 创建

• `Int` scope handling

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#315 · 2025年3月26日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy petri

  难度 3/5 1-2 天 新手友好度 45/100

  fmidue/modelling-tasks#314 · 1 条评论 · 2025年3月25日 创建

• `active` -> `activated`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  copilot-eventually petri refactor

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#310 · 2025年3月7日 创建

• Dealing with the `needsTuning` occurrences

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  petri testing

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#307 · 2 条评论 · 2025年2月27日 创建

• `sourceTransitionsConstraints` wrongly implemented?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy bug petri

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#306 · 2025年2月27日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad cd-od petri

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#305 · 2025年2月17日 创建

• bestimmte Tests für *jeden* Aufgabentyp

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  copilot-eventually testing

  难度 4/5 3-5 天 新手友好度 25/100

  fmidue/modelling-tasks#304 · 2025年2月17日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  alloy petri

  难度 3/5 1-2 天 新手友好度 35/100

  fmidue/modelling-tasks#303 · 3 条评论 · 2025年2月16日 创建

• Zusammenhang von auxiliaryPetriNodeAbsent und cycles

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad alloy

  难度 4/5 3-5 天 新手友好度 25/100

  fmidue/modelling-tasks#302 · 2025年2月7日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad alloy

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#301 · 4 条评论 · 2025年2月5日 创建

• Missing config checks in AD sequence tasks?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad alloy

  难度 3/5 1-2 天 新手友好度 45/100

  fmidue/modelling-tasks#300 · 2025年2月5日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  ad alloy

  难度 5/5 一周以上 新手友好度 20/100

  fmidue/modelling-tasks#299 · 1 条评论 · 2025年2月5日 创建

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

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement feedback petri

  难度 4/5 3-5 天 新手友好度 30/100

  fmidue/modelling-tasks#270 · 2 条评论 · 2024年10月2日 创建

• Show solution on syntactically wrong submissions?

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  exam feedback observation

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#265 · 1 条评论 · 2024年9月26日 创建

• Tutorrückmeldung bei Petri-Pick

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement feedback petri possibly-hilfskraft

  难度 4/5 3-5 天 新手友好度 35/100

  fmidue/modelling-tasks#255 · 1 条评论 · 2024年6月21日 创建

• Bewertungsfunktion bei Reach-Aufgaben

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  fairness grading observation

  难度 5/5 一周以上 新手友好度 25/100

  fmidue/modelling-tasks#246 · 2 条评论 · 2024年3月13日 创建