Course contents

Prerequisites

Reference Material

Topics covered

Date      Topics covered
Jan 5   Introduction, course outline (PDF).
 
Jan 9   No Class
Jan 12   Basic definition of Petri nets, examples, dynamics, Token game, Elementary net systems, Place/transition nets, Fundamental situations: Concurrency, Conflict. ( reference A and B)