public static PetriNet convert(ConfigurableEPC baseEPC) {
HashMap<EPCFunction, Transition> functionActivityMapping;
HashMap<EPCConnector, Place> xorconnectorChoiceMapping;
// HV: Initialize the mappings.
functionActivityMapping = new HashMap<EPCFunction, Transition>();
xorconnectorChoiceMapping = new HashMap<EPCConnector, Place>();
// Check to use the weights if necessary
// HV: Add both mappings. On completion, these will be filledd.
PetriNet petrinet =
EPCToPetriNetConverter.convert(
baseEPC, new HashMap(), functionActivityMapping, xorconnectorChoiceMapping);
HashSet visible = new HashSet();
// HV: The next block is taken care of by the functionActivityMapping
// below.
/*
* Iterator it = petrinet.getTransitions().iterator(); while
* (it.hasNext()) { Transition t = (Transition) it.next(); if (t.object
* instanceof EPCFunction) { // if (t.getLogEvent() != null) { // Add
* transitions with LogEvent (i.e. referring to functions)
* visible.add(t); } }
*/
// HV: Prevent the places mapped onto from being reduced.
visible.addAll(functionActivityMapping.values());
visible.addAll(xorconnectorChoiceMapping.values());
Message.add(visible.toString(), Message.DEBUG);
Iterator it = petrinet.getPlaces().iterator();
while (it.hasNext()) {
Place p = (Place) it.next();
if (p.inDegree() * p.outDegree() == 0) {
// Add Initial and final places to visible, i.e. places that
// refer to in and output events
visible.add(p);
}
}
// Reduce the PetriNet with Murata rules, while keeping the visible ones
PetriNetReduction pnred = new PetriNetReduction();
pnred.setNonReducableNodes(visible);
HashMap pnMap = new HashMap(); // Used to map pre-reduction nodes to
// post-reduction nodes.
PetriNet reduced = pnred.reduce(petrinet, pnMap);
if (reduced != petrinet) {
// Update both mappings from pre-reduction nodes to post-reduction
// nodes.
HashMap<EPCFunction, Transition> newFunctionActivityMapping =
new HashMap<EPCFunction, Transition>();
for (EPCFunction function : functionActivityMapping.keySet()) {
Transition transition = (Transition) functionActivityMapping.get(function);
if (pnMap.keySet().contains(transition)) {
newFunctionActivityMapping.put(function, (Transition) pnMap.get(transition));
}
}
functionActivityMapping = newFunctionActivityMapping;
HashMap<EPCConnector, Place> newXorconnectorChoiceMapping =
new HashMap<EPCConnector, Place>();
for (EPCConnector connector : xorconnectorChoiceMapping.keySet()) {
Place place = (Place) xorconnectorChoiceMapping.get(connector);
if (pnMap.keySet().contains(place)) {
newXorconnectorChoiceMapping.put(connector, (Place) pnMap.get(place));
}
}
xorconnectorChoiceMapping = newXorconnectorChoiceMapping;
}
reduced.makeClusters();
// filter the \nunknown:normal
ArrayList<Transition> alTrans = reduced.getVisibleTasks();
for (int i = 0; i < alTrans.size(); i++) {
Transition t = alTrans.get(i);
String id = t.getIdentifier();
int idx = id.indexOf("\\nunknown:normal");
if (idx > 0) {
id = id.substring(0, idx);
}
// �˴������ֵ��ѯ�滻���е�label
String mappedId = htDict.get(id);
if (mappedId != null) {
t.setIdentifier(mappedId);
} else {
t.setIdentifier(id);
}
}
return reduced;
}
public static MiningResult importFile(InputStream input) throws IOException {
try {
DocumentBuilderFactory dbf = DocumentBuilderFactory.newInstance();
Document doc;
// NodeList netNodes;
dbf.setValidating(false);
dbf.setIgnoringComments(true);
dbf.setIgnoringElementContentWhitespace(true);
// dbf.setExpandEntityReferences(false);
// dbf.setNamespaceAware(false);
DocumentBuilder db = dbf.newDocumentBuilder();
db.setEntityResolver(
new EntityResolver() {
public InputSource resolveEntity(String publicId, String systemId) {
if (systemId.indexOf("ARIS-Export") != -1) {
return new InputSource("file:" + About.EXTLIBLOCATION() + "ARIS-Export101.dtd");
} else {
return null;
}
}
});
InputSource inpStream = new InputSource(input);
inpStream.setSystemId("file:" + System.getProperty("user.dir", ""));
doc = db.parse(inpStream);
// check if root element is a aml tag
Message.add("parsing done" + doc, Message.DEBUG);
if (!(doc.getDocumentElement().getNodeName().equals("AML"))) {
Message.add("aml tag not found", Message.ERROR);
throw new Exception("aml tag not found");
} else {
Message.add("aml root element found");
}
EPCResult result = new EPCResult(null, (EPC) null);
HashMap ObjDef_LinkId = new HashMap();
HashMap modelid_net = new HashMap();
HashMap ObjDef_Name = new HashMap();
HashMap function_LinkId = new HashMap();
HashMap ModelId_ModelType = new HashMap();
traverseAMLforObjectNames(
ObjDef_Name, doc.getDocumentElement(), ObjDef_LinkId, ModelId_ModelType);
Iterator findLinkToEpc = ObjDef_LinkId.keySet().iterator();
while (findLinkToEpc.hasNext()) {
String currentObjDef = (String) findLinkToEpc.next();
String Links = (String) ObjDef_LinkId.get(currentObjDef);
StringTokenizer linkSet = new StringTokenizer(Links);
String realEpcLink = "";
while (linkSet.hasMoreTokens()) {
String currentLink = linkSet.nextToken();
if (ModelId_ModelType.get(currentLink).equals("MT_EEPC")) {
realEpcLink = currentLink;
break;
}
}
if (realEpcLink.equals(" ")) {
ObjDef_LinkId.remove(currentObjDef);
} else {
ObjDef_LinkId.put(currentObjDef, realEpcLink);
}
}
result =
traverseAML(
result,
doc.getDocumentElement(),
null,
ObjDef_Name,
ObjDef_LinkId,
modelid_net,
function_LinkId);
Iterator hierarchicalFunctions = function_LinkId.keySet().iterator();
while (hierarchicalFunctions.hasNext()) {
EPCSubstFunction f = (EPCSubstFunction) hierarchicalFunctions.next();
f.setSubstitutedEPC((EPC) modelid_net.get(function_LinkId.get(f)));
// Message.add(f.getSubstitutedEPC().getName());
}
return result;
} catch (Throwable x) {
Message.add(x.toString());
throw new IOException(x.getMessage());
}
}
public static EPCResult traverseAML(
EPCResult partialResult,
Node currentNode,
Object parent,
HashMap ObjDef_Name,
HashMap ObjDef_LinkId,
HashMap modelid_net,
HashMap function_LinkId)
throws Exception {
if (currentNode.hasChildNodes()) {
for (int i = 0; i < currentNode.getChildNodes().getLength(); i++) {
Node currentChild = currentNode.getChildNodes().item(i);
if (currentChild.getNodeName().equals("Group")) {
String id = currentChild.getAttributes().getNamedItem("Group.ID").getNodeValue();
String GroupName = "";
if (currentChild.hasChildNodes()) {
NodeList currentChildren = currentChild.getChildNodes();
for (int j = 0; j < currentChildren.getLength(); j++) {
Node Child = currentChildren.item(j);
if (!(Child.getNodeName().equals("AttrDef"))) {
continue;
}
if (Child.getAttributes()
.getNamedItem("AttrDef.Type")
.getNodeValue()
.equals("AT_NAME")) {
if (Child.hasChildNodes()) {
for (int l = 0; l < Child.getChildNodes().getLength(); l++) {
if (!(Child.getChildNodes().item(l).getNodeName().equals("AttrValue"))) {
continue;
} else {
GroupName = getTextContent(Child.getChildNodes().item(l));
}
}
break;
}
}
}
if (GroupName.equals("")) {
GroupName = id;
}
}
ModelHierarchyDirectory dir = new ModelHierarchyDirectory(id, GroupName);
partialResult.addInHierarchy(dir, parent, GroupName);
partialResult =
traverseAML(
partialResult,
currentChild,
dir,
ObjDef_Name,
ObjDef_LinkId,
modelid_net,
function_LinkId);
}
if (currentChild.getNodeName().equals("Model")
&& currentChild
.getAttributes()
.getNamedItem("Model.Type")
.getNodeValue()
.equals("MT_EEPC")) {
String ModelName = "gaga";
if (currentChild.hasChildNodes()) {
NodeList currentChildren = currentChild.getChildNodes();
for (int j = 0; j < currentChildren.getLength(); j++) {
Node Child = currentChildren.item(j);
if (!(Child.getNodeName().equals("AttrDef"))) {
continue;
}
if (Child.getAttributes()
.getNamedItem("AttrDef.Type")
.getNodeValue()
.equals("AT_NAME")) {
if (Child.hasChildNodes()) {
for (int l = 0; l < Child.getChildNodes().getLength(); l++) {
if (!(Child.getChildNodes().item(l).getNodeName().equals("AttrValue"))) {
continue;
} else {
ModelName = getTextContent(Child.getChildNodes().item(l));
}
}
}
break;
}
}
}
try {
ModelName = ModelName.replaceAll("\n", " ");
EPC net = read(currentChild, ObjDef_Name, ObjDef_LinkId, function_LinkId, ModelName);
partialResult.addInHierarchy(net, parent, ModelName);
modelid_net.put(
currentChild.getAttributes().getNamedItem("Model.ID").getNodeValue(), net);
} catch (Throwable x) {
Message.add(x.getClass().getName());
// throw new IOException(x.getMessage());
}
}
}
}
return partialResult;
}