diff --git a/Application_examples/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp index fd89be073b67879fbaedb9906bbdc8e19317bea6..846d70e44785644ddbbab03eb46b90baf2b2647d 100644 --- a/Application_examples/Small_Package_Delivery.mp +++ b/Application_examples/Small_Package_Delivery.mp @@ -32,13 +32,15 @@ References: Search terms: small package delivery; autonomous; ENSURE condition; Type 1 probability -Instructions: Run for Scope 1. This model shows only two scenarios due to overloading constraints -(constraints that suppress entire branches of execution that a user -intended to permit). Removing everything except the SCHEMA definition and the Air_Vehicle -root, and running that model subset, one can -see 6 event traces, one of which is unexpected: the Air_Vehicle drops -the payload with no vessel in sight (trace 6). +Instructions: Run for Scope 1. Scope 1: 2 traces in less than 1 sec. +This model shows only two scenarios due to overloading constraints +(constraints that suppress entire branches of execution that a user +intended to permit). Commenting everything out except the SCHEMA definition and the Air_Vehicle +root, and running that model subset at Scope 1, there are 6 event traces that can be seen. +Two of these are unexpected. In Trace 5, there is no vessel in sight but the Air_Vehicle still +drops the payload and the payload is on target. In Trace 6, there is no vessel in sight but +the Air_Vehicle still drops the payload and the payload misses the target. ==========================================================*/