Skip to content
Snippets Groups Projects

added ref-place and ref-transition execution support

Merged added ref-place and ref-transition execution support
feature/ref-execution into master
5 unresolved threads
Merged Sebastian Ebert requested to merge feature/ref-execution into master
5 unresolved threads
Compare
and
Show latest version
3 files
+ 4
− 10
Compare changes
  • Side-by-side
  • Inline
Files
3
src/main/java/de/tudresden/inf/st/pnml/Main.java
+ 4
− 2
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);