• Home
• de.uni.freiburg.iig.telematik
• SEPIA
• 1.0.1
• source code
• IFNetMarking.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.IFNetMarking Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet;

import de.invation.code.toval.validate.ParameterException;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetMarking;

public class IFNetMarking extends AbstractIFNetMarking {

	private static final long serialVersionUID = 3016094393793534037L;

	public IFNetMarking() {
		super();
	}

	@Override
	public IFNetMarking clone() {
		IFNetMarking newMarking = new IFNetMarking();
		try{
			for(String placeName: placeStates.keySet()){
				newMarking.set(placeName, placeStates.get(placeName).clone());
			}
		}catch(ParameterException e){}
		return newMarking;
	}
}