CEN6075 - Software Specification, Spring 2011

• Syllabus

• Homework#1

• Homework#2

• Homework#3

• Homework#4

• Homework#5

• Homework#6

• Z Resources

• Z Reference Manual by Spivey

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

• A Z Specification of Unix File System

• 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

• High Level Petri Nets - ISO/IEC 15909 version 4.7.1

• High Level Petri Nets - EE Handbook 2005

• An Algorithm to Build Coverability Trees