https://github.com/harmim/vut-mba-projects

Analýza systémů založená na modelech - Projekty
https://github.com/harmim/vut-mba-projects

ce-systems markov-chain markov-decision-processes mba model-based-analysis petri-nets timed-automata vut vut-fit

Last synced: about 2 months ago
JSON representation

Analýza systémů založená na modelech - Projekty

• Host: GitHub
• URL: https://github.com/harmim/vut-mba-projects
• Owner: harmim
• License: mit
• Created: 2020-03-27T12:38:30.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-05-16T04:26:21.000Z (about 5 years ago)
• Last Synced: 2025-02-06T12:48:08.774Z (4 months ago)
• Topics: ce-systems, markov-chain, markov-decision-processes, mba, model-based-analysis, petri-nets, timed-automata, vut, vut-fit
• Language: TeX
• Homepage:
• Size: 2.61 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Analýza systémů založená na modelech - Projekty

#### Autor: Dominik Harmim 

### Projekty:

1. [Petriho sítě](1%20%7C%20Petriho%20sítě)

2. [Čítačové automaty](2%20%7C%20Čítačové%20automaty)

3. [Markovovy řetězce](3%20%7C%20Markovovy%20řetězce)