projects
====== 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:15] pszwed [Fuzzy Semantic Petri Nets] |
projects [2013/10/21 03:16] pszwed [Fuzzy Semantic Petri Nets] |
||
|---|---|---|---|
| Line 16: | Line 16: | ||
| -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)''. | -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). The luggage should remain still. | -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 still and 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. | 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.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
