The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
To prevent the server from calculating too many jobs concurrently, we should restrict the total amount of concurrently running jobs. We could either queue these jobs and feedback this to the user, or just reject them and also feedback this.
To prevent the server from calculating too many jobs concurrently, we should restrict the total amount of concurrently running jobs. We could either queue these jobs and feedback this to the user, or just reject them and also feedback this.