Αποστολή με SMS: Lectures on Petri Nets I: Basic Models