SELab@unimi

SELab-unimi

Organization data from Github https://github.com/SELab-unimi

Software Engineering Lab., Università degli Studi di Milano

Milan

http://camilli.di.unimi.it

SELab@unimi's repositories

conductor2pn

Create TB Petri net models from Conductor blueprints

Language:JavaGPL-3.03 20

pnemu

Python PT net emulator based on High-Level Petri nets

Language:PythonGPL-3.03 2 2

mdp-generator

MDP Domain specific language and code generation

Language:XtendGPL-3.01 50

sn-based-emulator

SN-based emulating framework

1 20

mbt-module

MBT module

Language:JavaGPL-3.0050

sefm2020-replication-package

Language:R000

ustore-exemplar

Language:CSS020