HW3 Z3 official.docx - Capture each system as a State...

This preview shows page 1 - 3 out of 8 pages.

Capture each system as a State Machine (as described in chapter 3). Use RIBS and RIMS as appropriate below. (Be sure RIBS' ‘type’ option has ‘Asynchronous SM’ selected).
BOTH FRONT AND BEHIND DOOR TRUE. FRONT OF DOOR TRUE, BEHIND DOOR FALSE (NO ONE THERE).

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture