Repositories list

• mbt-module

  Public
  MBT module

  mdpbayesian-inferencemarkov-decision-processes+ 1model-based-testing

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 6, 2022Apr 6, 2022

• ustore-exemplar

  Public
  CSS

  •0•0•0•0•Updated Jan 23, 2022Jan 23, 2022

• sn-based-emulator

  Public
  SN-based emulating framework

  1•1•0•0•Updated Aug 3, 2020Aug 3, 2020

• sefm2020-replication-package

  Public
  R

  •0•0•0•0•Updated May 19, 2020May 19, 2020

• mdp-generator

  Public
  MDP Domain specific language and code generation

  compilerdslmdp+ 1markov-decision-processes

  Xtend

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Jul 15, 2019Jul 15, 2019

• pnemu

  Public
  Python PT net emulator based on High-Level Petri nets

  Python

  •

  GNU General Public License v3.0

  •0•3•1•0•Updated Jun 22, 2019Jun 22, 2019

• conductor2pn

  Public
  Create TB Petri net models from Conductor blueprints

  workflowtimemicroservices+ 2petri-netsconductor

  Java

  •

  GNU General Public License v3.0

  •0•3•0•0•Updated Aug 9, 2017Aug 9, 2017