Difference between revisions of "Atomic Formalisms"
From Mobius Wiki
(Created page with "Each model is composed of one or more submodels, also referred to as ''atomic models''. You can create and edit atomic models using different editors like the SAN editor, the ...") |
|||
| Line 8: | Line 8: | ||
* [[Fault Trees Atomic Formalism|Fault Trees]] | * [[Fault Trees Atomic Formalism|Fault Trees]] | ||
* [[PEPA Atomic Formalism| Performance Evaluation Process Algebra (PEPA)]] | * [[PEPA Atomic Formalism| Performance Evaluation Process Algebra (PEPA)]] | ||
| − | * [[SAN Atomic Formalism|Stochastic Activity Networks | + | * [[SAN Atomic Formalism|Stochastic Activity Networks]] |
Latest revision as of 22:19, 29 October 2014
Each model is composed of one or more submodels, also referred to as atomic models. You can create and edit atomic models using different editors like the SAN editor, the PEPA editor, the Buckets and Balls editor, and the Fault Tree editor.
Möbius currently supports the following formalisms:
