The following OOM model checks are made on junction points:
|
Check |
Description and Correction |
|---|---|
|
Junction point name and code uniqueness |
Junction point names and codes must be unique in the namespace (model or package). Manual correction: Modify the duplicate name/code Automatic correction: Appends a number to the duplicate name/code |
|
Incomplete junction point |
A junction point represents a split or a merge of transition paths. That is why a junction point must have at least one input and one output transitions. Manual correction: Add any missing transitions on the junction point Automatic correction: None |