Text this: A Method of Sample Models of Program Construction in Terms of Petri Nets