Update Example01_SimpleMessageFlow_EventCoordination.mp,...

Update Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp, Operational_Process.mp, Example08_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, Example18_RedGreen_BayesianProbabilityCalculationsType2.mp, Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp, Example21_DataFlow_LocalReport.mp files

Update Example01_SimpleMessageFlow_EventCoordination.mp,...
Update Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp, Operational_Process.mp, Example08_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, Example18_RedGreen_BayesianProbabilityCalculationsType2.mp, Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp, Example21_DataFlow_LocalReport.mp files
a91ae420 · Giammarco, Kristin M · 8c5d295a · a91ae420 · a91ae420 · a91ae420
Commit a91ae420 authored 3 years ago by Giammarco, Kristin M
--- a/Example01_simple_message_flow.mp
+++ b/Example01_simple_message_flow.mp
--- a/Example01a_unreliable_message_flow.mp
+++ b/Example01a_unreliable_message_flow.mp
--- a/Example02_Data_flow.mp
+++ b/Example02_Data_flow.mp
--- a/Example03_ATM_withdrawal.mp
+++ b/Example03_ATM_withdrawal.mp
--- a/Example04_Stack_behavior.mp
+++ b/Example04_Stack_behavior.mp
--- a/Example05_Car_Race.mp
+++ b/Example05_Car_Race.mp
--- a/Example06_Assertion_Checking.mp
+++ b/Example06_Assertion_Checking.mp
--- a/Example07_Unconstrained_Stack.mp
+++ b/Example07_Unconstrained_Stack.mp
--- a/Example09_Employee_Employer.mp
+++ b/Example09_Employee_Employer.mp
--- a/Example10_Pipe_Filter.mp
+++ b/Example10_Pipe_Filter.mp
--- a/Example11_Publish_Subscribe.mp
+++ b/Example11_Publish_Subscribe.mp
--- a/Example12_network_topology_ring.mp
+++ b/Example12_network_topology_ring.mp
--- a/Example18_Workflow_pattern.mp
+++ b/Example18_Workflow_pattern.mp
--- a/Example19_Consumers_Suppliers.mp
+++ b/Example19_Consumers_Suppliers.mp
--- a/Example23_number_attributes.mp
+++ b/Example23_number_attributes.mp
--- a/Example25_interval_attributes.mp
+++ b/Example25_interval_attributes.mp
--- a/Example24_Bayesian_probability.mp
+++ b/Example24_Bayesian_probability.mp
--- a/Example29_stack1_Bayesian_probability.mp
+++ b/Example29_stack1_Bayesian_probability.mp
--- a/Example30_Local_Report.mp
+++ b/Example30_Local_Report.mp
--- a/Example08_Operational_Process.mp
+++ b/Example08_Operational_Process.mp