マリアは、そのモデルの形式化として代数システム ネット (ペトリネットの高レベルのバリアント) を使用する並行システムの可到達性アナライザーです。それは到達可能性解析を行い、安全性と分散システム モデルの liveness をチェックするソフトウェア ツールのパックとして実装されます。CCITT 仕様記述言語 (SDL) などの他の形式から、手動でまたは自動的にモデルを構築できます。
