Atomic Formalisms
From Mobius Wiki
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:
