protected void processIBPMN(Document document, List<Transition> conflictingTransitions)
      throws SyntaxErrorException {
    IBPMNRDFImporter importer = new IBPMNRDFImporter(document);
    BPMNDiagram diagram = (IBPMNDiagram) importer.loadIBPMN();
    BPMNSyntaxChecker checker = diagram.getSyntaxChecker();
    if (!checker.checkSyntax()) throw new SyntaxErrorException(checker.getErrors());

    InteractionNet net = (InteractionNet) new IBPMNConverter(diagram).convert();

    new EnforceabilityChecker(net).checkEnforceability();
  }
 protected SyntaxChecker getCheckerIBPMN(Document document) {
   IBPMNRDFImporter importer = new IBPMNRDFImporter(document);
   BPMNDiagram diagram = (IBPMNDiagram) importer.loadIBPMN();
   return diagram.getSyntaxChecker();
 }