Einfaches Petrinetzmodell