October 25, 2004

Due: November 8, 2004 [PEEAS Due: date of Lecture 17]

1. Ghezzi et al Problem 5.59 [page 260]

Sketch a method for converting Finite State Machines (FSMs) to Petri Nets (PNs)
Give an example illustrating why it is not always possible to convert PNs to FSMs
What if the number of tokens is bounded; can you define a method for converting PNs to FSMs

2. Ghezzi et al Problem 5.74 [page 261]

3. [620 only] Ghezzi et al Problem 5.82 [page 262]

4. Ghezzi et al Problem 4.51 [page 156]

Expand on Ghezzi, et al’s “sketchy” solution

5. Ghezzi et al Problem 4.56 [page 156]

Submitting Homework, you may:

· email your homework to Dave Miller (miller@cs.umass.edu) or me (adrion@cs.umass.edu) in text, MSWord, PDF or some other format that we can print. Homework submitted via email must have a postmark before 4 pm on the date the homework is due. Unless you have obtained prior approval for an extension, 5 pts/day (or part thereof) will be deducted from your score.

· turn in written/printed solutions to the CMPSCI front office on or before 4 pm on the due date to Pauline Hollister. The same restriction on prior approval for late submissions applies. Do not drop off homework in my or Dave Miller’s mailbox nor at our or Wendy Cooper’s office. We cannot guarantee receipt if you do not email the solutions or drop them off with Pauline.

· FAX your homework (definitely not recommended) to 413-545-3729 before 4 pm on the due date.