private void btnExecute_Click(object sender, EventArgs e) { var petriNet = petriNetEditor.ExportToPetriNet(); var verificationResult = new PetriNetSoundnessVerifier().Verify(new PetriNetVerificationContext { PetriNet = petriNet }); var runtimeHost = new EmbeddedRuntimeHost(typeof(PetrifierRuntime)); runtimeHost.ExecutePetriNetModule(new PetriNetModule(petriNet)); }
public static void ExecutePetriNet(string fileName) { var document = new PnmlDocument(); document.Load(File.ReadAllText(fileName)); var petriNet = new PnmlPersister().Import(document); var runtimeHost = new EmbeddedRuntimeHost(typeof(PetrifierRuntime)); var handle = runtimeHost.ExecutePetriNetModule(new PetriNetModule(petriNet)); runtimeHost.WaitForEnd(handle); }