Repositories list

• high-level

  Public
  The framework for the synthesis of distributed systems modeled with high-level Petri games. Contains the packages: highLevel. Depends on the repos: libs, framework, synthesizer.

  Java

  •

  GNU General Public License v3.0

  •0•0•3•0•Updated May 4, 2022May 4, 2022

• adam

  Public
  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, modelchecking, ui, adammc, examples, synthesizer, boundedSynthesis, high-level, server-command-line, server-command-line-protocol, webinterface-backend, a…

  Java

  •

  GNU General Public License v3.0

  •0•4•1•0•Updated May 4, 2022May 4, 2022

• adamsynt

  Public
  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, boundedSynthesis, high-level, server-command-line-protocol, ui.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 4, 2022May 4, 2022

• webinterface

  Public
  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.

  Vue

  •

  GNU General Public License v3.0

  •2•5•31•0•Updated Apr 5, 2022Apr 5, 2022

• synthesizer

  Public
  The framework for the synthesis of distributed systems modeled with Petri games with transits. Contains the packages: petrigames, bddapproach, mtbddapproach. Depends on the repos: libs, framework.

  Java

  •

  GNU General Public License v3.0

  •1•0•5•0•Updated Apr 5, 2022Apr 5, 2022

• framework

  Public
  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, petrinetWithTransits. Depends on the repos: libs, examples.

  Java

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Nov 18, 2021Nov 18, 2021

• synthesisDistrEnv

  Public
  Synthesis algorithms for Petri games with one environment and an arbitrary number of system players. Contains the packages: synthesisDistrEnv. Depends on the repos: libs, framework, synthesizer.

  Java

  •

  GNU General Public License v3.0

  •0•0•1•1•Updated Nov 18, 2021Nov 18, 2021

• boundedSynthesis

  Public
  Bounded synthesis algorithms for solving Petri games with transits. Contains the packages: boundedalgorithms. Depends on the repos: libs, framework, synthesizer.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 18, 2021Nov 18, 2021

• ui

  Public
  The common framework for the command-line interface for AdamMC and AdamSYNT. Contains also the protocol for the communication with the command-line server. Contains packages: ui. Depends on repos: libs, framework.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 17, 2021Nov 17, 2021

• examples

  Public
  Contains APT-files of Petri nets with transits and Petri games with transits which can be used with AdamMC and AdamSYNT.

  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 17, 2021Nov 17, 2021

• logics

  Public
  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

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 17, 2021Nov 17, 2021

• modelchecker

  Public
  The framework for model checking Petri nets with transits against Flow-LTL and Flow-CTL. Contains the packages: modelchecking. Depends on the repos: libs, framework, logics.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 6, 2021Nov 6, 2021

• adammc

  Public
  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

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 31, 2021Oct 31, 2021

• webinterface-backend

  Public
  The framework to create the back end jar of Adam containing the model checker and the synthesizer for the web interface in repository: webinterface. Contains the packages: webinterface-backend. Depends on repos: libs, framework, logics, modelchecker, synthesizer.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 27, 2021May 27, 2021

• server-command-line-protocol

  Public
  The protocol for the server (located in repo: server-command-line) of the command-line user interface of AdamSYNT. Contains the module: server-protocol. Depends on the repos: libs, framework, synthesizer.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Feb 15, 2021Feb 15, 2021

• libs

  Public
  Contains all necessary libraries for the tool Adam (AdamMC and AdamSYNT).

  0•0•0•0•Updated Oct 7, 2020Oct 7, 2020