projects
====== Differences ====== This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
projects [2013/10/21 03:05] pszwed [Fuzzy Semantic Petri Nets] |
projects [2013/10/21 03:16] 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: ''noObject(x)''. 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. | ||
| - | {{:projects:pets-scenario.png?500}} | + | {{:projects:pets-scenario.png?600}} |
projects.txt · Last modified: 2014/07/07 14:55 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
