The Computational Modeling Work Bench is split into three domains, regular languages, Markov chains, and dataflow and max-plus algebra
General Use of the CMWB
Click here for documentation of the general use of the CMWB common between the different domains.
Domain of Regular Languages
Click here for documentation on the domain of regular languages.
Domain of Markov Chains
Click here for documentation on the domain of Markov Chains.
Domain of Dataflow and Max-Plus
Click here for documentation on the domain of dataflow and max-plus algebra.
Syntax
- General concepts of the syntax of the different modeling languages
- Finite State Automata
- Regular Expressions
- Linear Temporal Logic
- Markov Chains
- Dataflow Graphs
- Max-Plus Algebra
Background
The modeling workbench has been set up for the course 5xie0, computational modeling and for anyone interested in models of computation.
The workbench has been tested to work with the Google Chrome and Microsoft Edge Chromium web browsers. Other browsers may also work, but have currently not been tested and are not actively supported.
Disclaimer
If you require any more information or have any questions about our site’s disclaimer, please feel free to contact us by email at m.c.w.geilen@tue.nl
Disclaimers for the Computation Modeling Workbench
All the information on this website is published in good faith and for general information purpose only. Eindhoven University of Technology does not make any warranties about the completeness, reliability and accuracy of this information. Any action you take upon the information you find on this website, is strictly at your own risk. TUE will not be liable for any losses and/or damages in connection with the use of our website.
Consent
By using our website, you hereby consent to our disclaimer and agree to its terms.
Update
Should we update, amend or make any changes to this document, those changes will be prominently posted here.