void PetriNetSpec() { Expect(3); Expect(2); Builder = CreatePetriNet.Called(t.val); Expect(15); ArcSetSpec(); while (la.kind == 2 || la.kind == 12) { ArcSetSpec(); } Expect(16); while (la.kind == 2) { MarkingSpec(); } }