<p align="center"> <a href="https://github.com/lacsed/UltraDES"> <img src="http://lacsed.eng.ufmg.br/wp-content/uploads/2017/05/Logo_UltraDES_PNG_Internet-e1494353854950.png" alt="AngouriMath logo" width="400"> </a> </p> <h2 align="center">UltraDES</h2> <p align="center"> <b>UltraDES is a library for modeling, analysis and control of Discrete Event Systems. It has been developed at LACSED | <a href="http://www.lacsed.eng.ufmg.br">UFMG</a>.</b> <br> <a href="https://www.nuget.org/packages/UltraDES"><img alt="Nuget (with prereleases)" src="https://img.shields.io/nuget/vpre/UltraDES?color=blue&label=NuGet&logo=nuget&style=flat-square"></a> <a href="https://www.nuget.org/packages/UltraDES"><img alt="Nuget" src="https://img.shields.io/nuget/dt/UltraDES?color=darkblue&label=Downloads&style=flat-square"></a> <img alt="Nuget" src="https://img.shields.io/github/license/lacsed/UltraDES?style=flat-square"> </p>

Before using UltraDES

Requirements:

Supported OS: Windows, MAC OS or Linux (Mono or .Net Core).
Your computer must have a C# capable IDE (Visual Studio, VSCode, LinqPad, etc.).
Download the latest version of UltraDES (https://github.com/lacsed/UltraDES.git), by clicking on Clone or Download and then Download Zip ou use the UltraDES Nuget package.

First steps

Extract all the files of the zip or tar.gz file in your working directory.
Double click on the UltraDES.sln file.
Congratulations, you are ready to use UltraDES!

What is inside

Initially you are going to find four projects in the Solution Explorer:

Other examples
Test - Modular Supervisor
Test - Monolithic Supervisor
UltraDES (non executable)

To read the codes, click on the file .cs inside each project.

How to run the projects

Before running the code, you need to set the project as Startup Project.
- On Solution Explorer select the project you want to run.
- On the menu Project, select Set as Startup Project - Project>Set as Startup Project.
To run the code, click on Debug menu - Debug>Start Debugging.

Creating a new project on Visual Studio

On the menu File, select New > Project.
On the New Project window:
- Select Visual C# > Console App (.NET Framework).
- Give your project a name.
- The location of your project should be the same as the other UltraDES projects.
- In the Solution field, choose Add to Solution.
- Click on OK to create your project.
Remember to set your project as Startup Project (see How to run the projects).
Congratulations, you just created your project!

Inside your project

In the Solution Explorer, double click on your project.
Inside your project, right click on the item References>Add Reference...
- On the Reference Manager window, select Projects>Solution and select UltraDES.
- Click Ok to close the window.
To write your code, click on the file .cs inside your project.
On the .cs file of your project, add the UltraDES library in the header (using UltraDES;).

In your main function, add the code below to create and see your first Automaton.

Creating States

State s1 = new State("s1", Marking.Marked);
State s2 = new State("s2", Marking.Unmarked);

Creating Events

Event e1 = new Event("e1", Controllability.Controllable);
Event e2 = new Event("e2", Controllability.Uncontrollable);

Event e3 = new Event("e3", Controllability.Controllable);
Event e4 = new Event("e4", Controllability.Uncontrollable);

Creating Transitions

var t = new Transition(s1, e1, s2);

Creating an Automaton

var G1 = new DeterministicFiniteAutomaton(new[]
  {
    new Transition(s1, e1, s2), 
    new Transition(s2, e2, s1)
  }, s1, "G1");
  
  var G2 = new DeterministicFiniteAutomaton(new[]
  {
    new Transition(s1, e3, s2), 
    new Transition(s2, e4, s1)
  }, s1, "G2");

Operations with Automata

Making a Parallel composition


var Gp = G1.ParallelCompositionWith(G2);

Showing the Automaton

 G.ShowAutomaton("G");

Other examples

For more examples on how to create more complex automata or how to use the methods, read the other projects.

Try UltraDES

Research

If you use UltraDES in your paper, please cite using:

@article{UltraDES2017,
  title={UltraDES-A Library for Modeling, Analysis and Control of Discrete Event Systems},
  author={Alves, Lucas V. R. and Martins, Lucas R. R. and Pena, Patrícia N.},
  journal = {Proceedings of the 20th World Congress of the International Federation of Automatic Control},
  pages={5831--5836},
  year={2017},
}

UltraDES

Install / Use

README