Merge lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets into lp:tapaal

[Lena Ernstsen]

Added a check for the untimed nets.

If there is a transport arc in the net, then it is seen as timed.

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/dk/aau/cs/model/tapn/TimedArcPetriNet.java'
--- src/dk/aau/cs/model/tapn/TimedArcPetriNet.java	2020-08-03 15:04:21 +0000
+++ src/dk/aau/cs/model/tapn/TimedArcPetriNet.java	2020-08-06 11:06:14 +0000
@@ -619,12 +619,9 @@
 				return false;
 			}
 		}
-		
-		for(TransportArc t : transportArcs){
-			if(!t.interval().equals(TimeInterval.ZERO_INF)){
-				return false;
-			}
-		}
+		if (transportArcs.size() > 0) {
+		    return false;
+        }
 
 		if (hasUrgentTransitions()) {
 		    return false;