TABLE OF CONTENTS
- 1. HiLeS_To_PetriNet/HiLeS_To_TimePetriNet
- 1.1. HiLeS_To_TimePetriNet/ArcToArc
- 1.2. HiLeS_To_TimePetriNet/PlaceToPlace
- 1.3. HiLeS_To_TimePetriNet/SystemToPetriNet
- 1.4. HiLeS_To_TimePetriNet/TransitionToTransition
- 2. MTC/HiLeS_Validation
- 2.1. HiLeS_Validation/HiLeSArc
- 2.2. HiLeS_Validation/HiLeSFunctional
- 2.3. HiLeS_Validation/HiLeSHilesSystem
- 2.4. HiLeS_Validation/HiLeSPetriNet
- 2.5. HiLeS_Validation/HiLeSStructural
- 3. MTC/SysML_To_HiLeS
- 3.1. SysML_To_HiLeS/Behavior
- 3.1.1. Behavior/ActivityPetriNet
- 3.1.2. Behavior/ActivityPetriNet
- 3.1.3. Behavior/CallBehaviorPN
- 3.1.4. Behavior/CallOperationPN
- 3.1.5. Behavior/DecisionControlFlowPN
- 3.1.6. Behavior/DecisionControlFlowPN
- 3.1.7. Behavior/DecisionNodePN
- 3.1.8. Behavior/FinalPlace
- 3.1.9. Behavior/FinalPlace
- 3.1.10. Behavior/FinalPlaceService
- 3.1.11. Behavior/ForkNodePN
- 3.1.12. Behavior/FunctionalBlock
- 3.1.13. Behavior/GeneralControlFlowPN
- 3.1.14. Behavior/Guard
- 3.1.15. Behavior/InitialPlace
- 3.1.16. Behavior/InitialPlace
- 3.1.17. Behavior/InitialPlaceService
- 3.1.18. Behavior/InputPinPort
- 3.1.19. Behavior/InputPinService
- 3.1.20. Behavior/JoinForkSourceControlFlow
- 3.1.21. Behavior/JoinForkTargetControlFlow
- 3.1.22. Behavior/JoinNodePN
- 3.1.23. Behavior/MergeNodePN
- 3.1.24. Behavior/ObjectFlowPN
- 3.1.25. Behavior/OutputPinPort
- 3.1.26. Behavior/OutputPinService
- 3.1.27. Behavior/StrcuturalBlockBehavior
- 3.1.28. Behavior/StrcuturalBlockBehavior
- 3.2. SysML_To_HiLeS/Compare
- 3.2.1. Compare/MatchArchitectures
- 3.2.2. Compare/MatchPorts
- 3.2.3. Compare/MatchServices
- 3.2.4. Compare/MatchStructuralBlocks
- 3.3. SysML_To_HiLeS/Merge
- 3.3.1. Merge/Unmatched
- 3.3.1.1. Unmatched/Structural
- 3.3.1.2. Unmatched/UnmatchedArc
- 3.3.1.3. Unmatched/UnmatchedArchitecture
- 3.3.1.4. Unmatched/UnmatchedFunctional
- 3.3.1.5. Unmatched/UnmatchedPayload
- 3.3.1.6. Unmatched/UnmatchedPetriNet
- 3.3.1.7. Unmatched/UnmatchedPlace
- 3.3.1.8. Unmatched/UnmatchedPort
- 3.3.1.9. Unmatched/UnmatchedService
- 3.3.1.10. Unmatched/UnmatchedSystem
- 3.3.1.11. Unmatched/UnmatchedTransition
- 3.3.2. Merge/MatchArchitectures
- 3.3.3. Merge/MergePorts
- 3.3.4. Merge/MergeServices
- 3.3.5. Merge/MergeStructuralBlocks
- 3.4. SysML_To_HiLeS/Structure
- 3.4.1. Structure/InitialArchitecture
- 3.4.2. Structure/ModelToSystem
- 3.4.3. Structure/Payloads
- 3.4.4. Structure/Ports
- 3.4.5. Structure/Services
- 3.4.6. Structure/StructuralBlock
- 3.5. SysML_To_HiLeS/SysMLModelQueries
- 3.5.1. SysMLModelQueries/getActivityPins
- 3.5.2. SysMLModelQueries/getChildrenBlocks
- 3.5.3. SysMLModelQueries/getFlowPorts
- 3.5.4. SysMLModelQueries/getLogicalSolutionPackage
- 3.5.5. SysMLModelQueries/getMainBlock
- 3.5.6. SysMLModelQueries/getParentActivity
- 3.5.7. SysMLModelQueries/getParentActivity
- 3.5.8. SysMLModelQueries/getParentBlock
- 3.5.9. SysMLModelQueries/hasChildrenBlocks
- 4. MTC/SysML_Validation
- 4.1. SysML_Validation/CallOperation
- 4.2. SysML_Validation/SysMLActivity
- 4.3. SysML_Validation/SysMLBlock
- 4.4. SysML_Validation/SysMLForkNode
- 4.5. SysML_Validation/SysMLJoinNode
- 4.6. SysML_Validation/SysMLJoinNode
- 4.7. SysML_Validation/SysMLMergeNode
- 4.8. SysML_Validation/SysMLModel
- 5. HiLeS_To_VHdl/ArcFrom_Functional