Pinned Loading

1. adamtool/adamadamtool/adamPublic

   The complete command-line tool Adam with the model checker and the synthesizer for distributed systems. Contains the modules: adam. Contains the repos (as submodules): libs, framework, logics, mode…

   Java 4

2. adamtool/adammcadamtool/adammcPublic

   The command-line tool AdamMC for model checking Petri nets with transits against Flow-LTL and Flow-CTL. Contains the packages: adammc. Depends on the repos: libs, framework, logics, modelchecker, ui.

   Java

3. adamtool/adamsyntadamtool/adamsyntPublic

   The command-line tool AdamSYNT for the synthesis of distributed systems modeled as Petri games with transits. Contains the modules: adamsynt. Depends on the repos: libs, framework, synthesizer, bou…

   Java

4. adamtool/logicsadamtool/logicsPublic

   The framework for the logics with, e.g., datastructures, parsers, and tools for LTL, CTL, Flow-LTL, Flow-CTL. Contains the packages: logics. Depends on the repos: libs, framework.

   Java

5. adamtool/frameworkadamtool/frameworkPublic

   The general framework for the tool Adam (AdamMC and AdamSYNT) providing, e.g., data structures for automata, circuits, and Petri nets with transits. Contain the packages: tools, petrinetWithTransit…

   Java 1

6. CvO-Theory/aptCvO-Theory/aptPublic

   APT – Analysis of Petri nets and labelled transition systems

   Java 19 8