Lectures on Petri Nets I: Basic Models