Example01_SimpleMessageFlow_EventCoordination.mp

Example01a_UnreliableMessageFlow_VirtualEvents.mp

Example02_DataFlow_EventSharing.mp

Example03_ATMWithdrawal_BehaviorOfEnvironment.mp

Example04_StackBehavior_EnsureCondition.mp

Example04a_StackBehavior_UserDefinedRelations.mp

Example04b_QueueBehavior_UserDefinedRelations.mp

Example05_CarRace_NestedComposition.mp

Example06_UnreliableChannel_AssertionChecking.mp

Example07_UnconstrainedStack_TraceAnnotation.mp

...e08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp

Example09_PipeFilter_TraceAnnotationQueries.mp

Example10_PublishSubscribe_EventReshuffling.mp

Example11_RingTopology_UserDefinedRelations.mp

Example12_CardiacArrestWorkflow_VirtualEvents.mp

Example13_ConsumersSuppliers_DependencyTracking.mp

Example14_ShoppingSpree_NumberAttributes.mp

Example15_BackpackWeight_IntervalAttributes.mp

Example16_StackBehavior_ProbabilityCalculationsType1.mp

Example17_SharedEvents_ProbabilityCalculationsType1.mp