Petri Nets 2021 · Milestones · i7 / ostrich · GitLab

In May we will update GitLab to the next major version 18.0. Deprecations will mainly affect the Api, CI/CD job tokens and GitLab Runners. Please check if your project(s) may be affected, and take the appropriate measures. Find detailed information on this here: https://docs.gitlab.com/update/deprecations/?removal_milestone=18.0

2025-04-16: Due to updates GitLab may be unavailable for some minutes between 14:30 and 17:30.

Petri Nets 2021

Implementation of the approach of abducting readable invariants in parameterized systems.

All issues for this milestone are closed. You may close this milestone now.

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum