Text this: Lectures on Petri Nets I: Basic Models