Problem

1. Sketch how the elevator system described in could be specified in terms of FSMs. You don't need to go into all the details. Rather, you should point out what FSMs are able to describe and where they fail to capture the desired requirements.

2. Use PNs to model office organization and automation. You should describe all relevant activities that occur in an office (producing documents, computing invoices and salaries, etc.), the data such activities involve, the way the activities operate on the data, and the precedence relations among different activities (e.g., one cannot mail a letter if it has not been written). You do not need to produce a long list of activities and data stores. Rather, you should focus attention on a few of them and analyze them in some depth. You may refer to for hints on this project.