modelling-tasks-examples-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.PetriNet.PetriPickConcurrency.Config

Synopsis

Documentation

task2023_21 :: PickConcurrencyConfig Source #

points: 0.1 average generation time per instance: 14:00min CPU usage: 100%

task2024_29 :: PickConcurrencyConfig Source #

points: 0.1 average generation time per instance: 15:28min CPU usage: 102%