Unformatted text preview: door. The door operates according to the following rules: 1. the door opens if it is closed and a person is detected by sensor1 and no person is detected by sensor2 2. the door remains open as long as there is a person detected by sensor1 (note, multiple people may be in the area observed by sensor1) 3. when the door is open it does not close if there is a person detected by sensor2 (note, multiple people may be in the area observed by sensor2) 4. when the door is open it may close when no person is detected by either sensor1 or sensor2 Area detected by sensor1 Area detected by sensor2...
View Full Document
- Spring '08
- English-language films, Following, The Entrance, New South Wales, Petri net, Closed, Close