Currently job artifacts in CI/CD pipelines on LRZ GitLab never expire. Starting from Wed 26.1.2022 the default expiration time will be 30 days (GitLab default). Currently existing artifacts in already completed jobs will not be affected by the change. The latest artifacts for all jobs in the latest successful pipelines will be kept. More information:

Commit f1030fdd authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Added weight condition to check for communication-freeness

parent 33da1b31
......@@ -30,7 +30,11 @@ checkStructure net FinalPlace =
where finalPlace p = null (post net p) &&
all (\t -> length (post net t) == 1) (pre net p)
checkStructure net CommunicationFree =
all (\t -> length (pre net t) == 1) (transitions net)
all checkTransition (transitions net) &&
all checkWeights (transitions net)
where checkTransition t = length (pre net t) == 1
checkWeights t = all checkWeight (lpre net t)
checkWeight (_,w) = w <= 1
checkParallelT :: PetriNet -> String -> Bool
checkParallelT net t =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment