====== Differences ====== This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
projects [2013/10/21 03:13] pszwed [Fuzzy Semantic Petri Nets] |
projects [2013/10/21 03:15] pszwed [Fuzzy Semantic Petri Nets] |
||
---|---|---|---|
Line 13: | Line 13: | ||
Scenario: | Scenario: | ||
- | -A man enters the scene and is still for some time | + | -A man ''x'' enters the scene and is still for some time |
- | -Then he takes his rucksack off and puts it on the floor. He stays close to it for some time. | + | -Then he takes his rucksack ''y'' off and puts it on the floor. He stays close to it for some time. The rucksack should not move ''isStill(y)''. |
- | -Next, he leaves the rucksack unattended (the object is classified //unattended// if the distance between it and its owner is greater than 3 m) | + | -Next, he leaves the rucksack unattended (the object is classified //unattended// if the distance between it and its owner is greater than 3 m). The luggage should remain still. |
- | -Finally, the man disappears and the luggage rest unattended (possible bomb planting) | + | -Finally, the man disappears and the luggage rest still and unattended (possible bomb planting) |
The listed above steps correspond to the places of FSPN specifying the scenario. Transition guards define the conditions that should be satisfied to reach the next step. | The listed above steps correspond to the places of FSPN specifying the scenario. Transition guards define the conditions that should be satisfied to reach the next step. |