## Syllabus

## Homework#1

## Homework#2

## Homework#3

## Homework#4

## Homework#5

## Z Resources

### Z Reference Manual by Spivey

### Smith's Ph.D. Dissertation on Object Z

## Petri Nets Resources

### Informal Introduction to Petri Nets by Prof. Reisig at PN2005

### Place Transition Nets by Prof. Reisig at PN2005

### Colored Petri Nets by Prof. Jensen at PN2005

### An Algorithm to Build Coverability Trees