Skip to content
Snippets Groups Projects

added ref-place and ref-transition execution support

Merged Sebastian Ebert requested to merge feature/ref-execution into master
5 unresolved threads
3 files
+ 4
10
Compare changes
  • Side-by-side
  • Inline
Files
3
package de.tudresden.inf.st.pnml;
import de.tudresden.inf.st.pnml.jastadd.model.*;
import de.tudresden.inf.st.pnml.jastadd.model.Marking;
import de.tudresden.inf.st.pnml.jastadd.model.PetriNet;
import fr.lip6.move.pnml.framework.general.PNType;
import fr.lip6.move.pnml.framework.hlapi.HLAPIRootClass;
import fr.lip6.move.pnml.framework.utils.ModelRepository;
@@ -26,7 +28,7 @@ public class Main {
// String fileName = "src/main/resources/minimal.pnml";
// String fileName = "src/main/resources/philo.pnml";
String fileName = "src/main/resources/placeRefNet.pnml";
String fileName = "src/main/resources/haddadin_automaton_flat.pnml";
List<PetriNet> petriNets = parsePnml(fileName);
Loading