~tapaal-contributor/tapaal/weight-values-fix-1770637

import java.util.Map.Entry;

 

import pipe.dataLayer.DataLayer;

import pipe.gui.graphicElements.Arc;

import pipe.gui.graphicElements.ArcPath;

import pipe.gui.graphicElements.ArcPathPoint;

import pipe.gui.graphicElements.tapn.TimedTransitionComponent;

import pipe.gui.graphicElements.tapn.TimedTransportArcComponent;

import dk.aau.cs.Messenger;

import dk.aau.cs.model.tapn.Bound;

import dk.aau.cs.model.tapn.IntBound;

import dk.aau.cs.model.tapn.LocalTimedPlace;

                                                        mapping.addMapping(tapn.name(), timedTransition.name(), uniqueTransitionName);

                                                }

                                        }else{

                                                        messenger.displayInfoMessage("There are orphan transitions (no incoming and no outgoing arcs) in the model."

                                                                        + System.getProperty("line.separator") + "They will be removed before the verification.");

                                                        hasShownMessage = true;

                                                }

                                        }

                                }

                        }