org.processmining.exporting.petrinet.cpnexport
Class ManagerID

java.lang.Object
  extended by org.processmining.exporting.petrinet.cpnexport.ManagerID

public class ManagerID
extends java.lang.Object

An ID manager for generating new cpnIDs that can be used for creating a valid CPN file.

Version:
1.0
Author:
Ronny Mans, Anne Rozinat (a.rozinat@tm.tue.nl)

Constructor Summary
ManagerID()
           
 
Method Summary
 java.lang.String getNewID()
          Returns a new, unique, cpnID.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ManagerID

public ManagerID()
Method Detail

getNewID

public java.lang.String getNewID()
Returns a new, unique, cpnID.

Returns:
a string representation of a cpn-ID.