Peterson.promela 691 Bytes