Running example

A running example

Create an event log as illustrated in Creating event logs. The example log can be downloaded from logs.

To run MINERful, we locate our command shell in the working directory, and launch run-MINERful.sh as follows.

./run-MINERful.sh --in-log-file logs/uniexamplelog.xes --support 0.02 --confidence 1.0 --coverage 0.02 --trace-support 0.05 --trace-confidence 1.0 --trace-coverage 0.05 --prune-with 'hierarchy' --save-as-csv specifications/uni-declarative-specification.csv --save-as-json specifications/uni-declarative-specification.json

Alternatively, short names for options can be used:

./run-MINERful.sh -iLF logs/uniexamplelog.xes -iLClassif 'logspec' -s 0.02 -c 1.0 -g 0.05 -sT 0.05 -cT 1.0 -gT 0.05 -prune 'hierarchy' -oCSV specifications/uni-declarative-specification.csv -oJSON specifications/uni-declarative-specification.json

The rationale for those abbreviations is that the parameter prefixes pertain to the context: -iL for the input (event) Log, -o… for the output format in which discovered specifications are saved.

The mandatory --in-log-file (or -iLF) option locates the input event log. It should be in the XML-based XES format. The default thresholds for event based support, confidence and coverage of the returned constraints are by default 0.05, 0.95, and 0.05, respectively, but can be modified with the --support, --confidence, and --coverage option. The default thresholds for trace based support, confidence and coverage of the returned constraints are by default 0.125, 0.95, and 0.125, respectively, but can be modified with the --trace-support, --trace-confidence, and --trace-coverage option. More information on these metrics and how they are computed can be found in the paper at DOI:10.1007/978-3-031-08848-3_4. Some post-processing can be required to polish the returned set of constraints from redundancies or possible internal inconsistencies (the lower the thresholds, the higher their amount). Here we select the default and faster strategy (-prune), that is to say,hierarchy. The --save-as-csv (-oCSV) and save-as-json (-oJSON) options state where the CSV and JSON versions of the discovered constraints should be saved. The CSV file should show something like this:

'Constraint'	'Template'	'Activation'	'Target'	'Confidence'	'Coverage'	'Support'	'Trace confidence'	'Trace coverage'	'Trace support'	'Marked for exclusion'	'Below thresholds'	'Redudant'	'Conflicting'
'AtMost1(Create a candidate account)'	'AtMost1'	''	'Create a candidate account'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'Init(Create a candidate account)'	'Init'	''	'Create a candidate account'	1.000	1.000	1.000	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Create a candidate account, Enrol in the program)'	'NotChainResponse'	'Create a candidate account'	'Enrol in the program'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Create a candidate account, Enter evaluation phase)'	'NotChainResponse'	'Create a candidate account'	'Enter evaluation phase'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Create a candidate account, Pay subscription fee)'	'NotChainResponse'	'Create a candidate account'	'Pay subscription fee'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Create a candidate account, Pre-enrol in the program)'	'NotChainResponse'	'Create a candidate account'	'Pre-enrol in the program'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Create a candidate account, Receive admission notification)'	'NotChainResponse'	'Create a candidate account'	'Receive admission notification'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Create a candidate account, Receive rejection notification)'	'NotChainResponse'	'Create a candidate account'	'Receive rejection notification'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Enrol in the program, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Enrol in the program'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Enter evaluation phase, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Enter evaluation phase'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Pay subscription fee, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Pay subscription fee'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Pre-enrol in the program, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Pre-enrol in the program'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Receive admission notification, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Receive admission notification'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Receive rejection notification, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Receive rejection notification'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Register for selection round, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Register for selection round'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Upload admission test score, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Upload admission test score'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'NotPrecedence(Upload certificates, Create a candidate account)'	'NotPrecedence'	'Create a candidate account'	'Upload certificates'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'AtMost1(Enrol in the program)'	'AtMost1'	''	'Enrol in the program'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'Precedence(Create a candidate account, Enter evaluation phase)'	'Precedence'	'Enter evaluation phase'	'Create a candidate account'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Create a candidate account, Enter evaluation phase)'	'NotChainPrecedence'	'Enter evaluation phase'	'Create a candidate account'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotResponse(Enter evaluation phase, Create a candidate account)'	'NotResponse'	'Enter evaluation phase'	'Create a candidate account'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Enter evaluation phase, Pre-enrol in the program)'	'NotChainResponse'	'Enter evaluation phase'	'Pre-enrol in the program'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Pay subscription fee, Enter evaluation phase)'	'NotChainPrecedence'	'Enter evaluation phase'	'Pay subscription fee'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'AlternatePrecedence(Register for selection round, Enter evaluation phase)'	'AlternatePrecedence'	'Enter evaluation phase'	'Register for selection round'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'Precedence(Upload admission test score, Enter evaluation phase)'	'Precedence'	'Enter evaluation phase'	'Upload admission test score'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'AtMost1(Pay subscription fee)'	'AtMost1'	''	'Pay subscription fee'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'AtMost1(Pre-enrol in the program)'	'AtMost1'	''	'Pre-enrol in the program'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'Precedence(Create a candidate account, Receive admission notification)'	'Precedence'	'Receive admission notification'	'Create a candidate account'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Create a candidate account, Receive admission notification)'	'NotChainPrecedence'	'Receive admission notification'	'Create a candidate account'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'AlternatePrecedence(Enter evaluation phase, Receive admission notification)'	'AlternatePrecedence'	'Receive admission notification'	'Enter evaluation phase'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Pay subscription fee, Receive admission notification)'	'NotChainPrecedence'	'Receive admission notification'	'Pay subscription fee'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'NotResponse(Receive admission notification, Create a candidate account)'	'NotResponse'	'Receive admission notification'	'Create a candidate account'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Receive admission notification, Enrol in the program)'	'NotChainResponse'	'Receive admission notification'	'Enrol in the program'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Receive admission notification, Pre-enrol in the program)'	'NotChainResponse'	'Receive admission notification'	'Pre-enrol in the program'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'NotResponse(Receive admission notification, Receive rejection notification)'	'NotResponse'	'Receive admission notification'	'Receive rejection notification'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'Precedence(Register for selection round, Receive admission notification)'	'Precedence'	'Receive admission notification'	'Register for selection round'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'Precedence(Upload admission test score, Receive admission notification)'	'Precedence'	'Receive admission notification'	'Upload admission test score'	1.000	0.023	0.023	1.000	0.120	0.120	FALSE	FALSE	FALSE	FALSE
'AtMost2(Receive rejection notification)'	'AtMost2'	''	'Receive rejection notification'	1.000	0.175	0.175	1.000	1.000	1.000	FALSE	FALSE	FALSE	FALSE
'Precedence(Create a candidate account, Register for selection round)'	'Precedence'	'Register for selection round'	'Create a candidate account'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Enrol in the program, Register for selection round)'	'NotChainPrecedence'	'Register for selection round'	'Enrol in the program'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Pay subscription fee, Register for selection round)'	'NotChainPrecedence'	'Register for selection round'	'Pay subscription fee'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotResponse(Register for selection round, Create a candidate account)'	'NotResponse'	'Register for selection round'	'Create a candidate account'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'AlternateResponse(Register for selection round, Enter evaluation phase)'	'AlternateResponse'	'Register for selection round'	'Enter evaluation phase'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Register for selection round, Pre-enrol in the program)'	'NotChainResponse'	'Register for selection round'	'Pre-enrol in the program'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'RespondedExistence(Register for selection round, Upload admission test score)'	'RespondedExistence'	'Register for selection round'	'Upload admission test score'	1.000	0.106	0.106	1.000	0.499	0.499	FALSE	FALSE	FALSE	FALSE
'Precedence(Create a candidate account, Upload admission test score)'	'Precedence'	'Upload admission test score'	'Create a candidate account'	1.000	0.272	0.272	1.000	0.789	0.789	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Pay subscription fee, Upload admission test score)'	'NotChainPrecedence'	'Upload admission test score'	'Pay subscription fee'	1.000	0.272	0.272	1.000	0.789	0.789	FALSE	FALSE	FALSE	FALSE
'NotResponse(Upload admission test score, Create a candidate account)'	'NotResponse'	'Upload admission test score'	'Create a candidate account'	1.000	0.272	0.272	1.000	0.789	0.789	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Upload admission test score, Pre-enrol in the program)'	'NotChainResponse'	'Upload admission test score'	'Pre-enrol in the program'	1.000	0.272	0.272	1.000	0.789	0.789	FALSE	FALSE	FALSE	FALSE
'Precedence(Create a candidate account, Upload certificates)'	'Precedence'	'Upload certificates'	'Create a candidate account'	1.000	0.283	0.283	1.000	0.725	0.725	FALSE	FALSE	FALSE	FALSE
'NotChainPrecedence(Pay subscription fee, Upload certificates)'	'NotChainPrecedence'	'Upload certificates'	'Pay subscription fee'	1.000	0.283	0.283	1.000	0.725	0.725	FALSE	FALSE	FALSE	FALSE
'NotResponse(Upload certificates, Create a candidate account)'	'NotResponse'	'Upload certificates'	'Create a candidate account'	1.000	0.283	0.283	1.000	0.725	0.725	FALSE	FALSE	FALSE	FALSE
'NotChainResponse(Upload certificates, Pre-enrol in the program)'	'NotChainResponse'	'Upload certificates'	'Pre-enrol in the program'	1.000	0.283	0.283	1.000	0.725	0.725	FALSE	FALSE	FALSE	FALSE

The JSON version of the specification would look like follows:

{
   "name":"Process specification discovered from uni.xes",
   "tasks":[
      "Create a candidate account",
      "Enter evaluation phase",
      "Upload certificates",
      "Receive admission notification",
      "Pay subscription fee",
      "Enrol in the program",
      "Upload admission test score",
      "Pre-enrol in the program",
      "Receive rejection notification",
      "Register for selection round"
   ],
   "constraints":[
      {
         "template":"NotResponse",
         "parameters":[
            [
               "Upload admission test score"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.2721213715688854,
         "confidence":1.0,
         "coverage":0.2721213715688854,
         "tr_support":0.789,
         "tr_confidence":1.0,
         "tr_coverage":0.789
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Pay subscription fee"
            ],
            [
               "Register for selection round"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotResponse",
         "parameters":[
            [
               "Enter evaluation phase"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Pay subscription fee"
            ],
            [
               "Upload admission test score"
            ]
         ],
         "support":0.2721213715688854,
         "confidence":1.0,
         "coverage":0.2721213715688854,
         "tr_support":0.789,
         "tr_confidence":1.0,
         "tr_coverage":0.789
      },
      {
         "template":"AtMost1",
         "parameters":[
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Pay subscription fee"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Receive rejection notification"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Upload admission test score"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Enrol in the program"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Pay subscription fee"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"NotResponse",
         "parameters":[
            [
               "Upload certificates"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.28317109532579143,
         "confidence":1.0,
         "coverage":0.28317109532579143,
         "tr_support":0.725,
         "tr_confidence":1.0,
         "tr_coverage":0.725
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Enter evaluation phase"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Upload admission test score"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Upload certificates"
            ]
         ],
         "support":0.28317109532579143,
         "confidence":1.0,
         "coverage":0.28317109532579143,
         "tr_support":0.725,
         "tr_confidence":1.0,
         "tr_coverage":0.725
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Enrol in the program"
            ],
            [
               "Register for selection round"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Upload admission test score"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Pay subscription fee"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Receive admission notification"
            ],
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"NotResponse",
         "parameters":[
            [
               "Receive admission notification"
            ],
            [
               "Receive rejection notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"RespondedExistence",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Upload admission test score"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotResponse",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Pre-enrol in the program"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Receive rejection notification"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"Init",
         "parameters":[
            [
               "Create a candidate account"
            ]
         ],
         "support":1.0,
         "confidence":1.0,
         "coverage":1.0,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"AtMost2",
         "parameters":[
            [
               "Receive rejection notification"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"AtMost1",
         "parameters":[
            [
               "Pay subscription fee"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Upload admission test score"
            ],
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.2721213715688854,
         "confidence":1.0,
         "coverage":0.2721213715688854,
         "tr_support":0.789,
         "tr_confidence":1.0,
         "tr_coverage":0.789
      },
      {
         "template":"NotChainPrecedence",
         "parameters":[
            [
               "Pay subscription fee"
            ],
            [
               "Upload certificates"
            ]
         ],
         "support":0.28317109532579143,
         "confidence":1.0,
         "coverage":0.28317109532579143,
         "tr_support":0.725,
         "tr_confidence":1.0,
         "tr_coverage":0.725
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Pay subscription fee"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Upload certificates"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Receive admission notification"
            ],
            [
               "Enrol in the program"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Upload admission test score"
            ]
         ],
         "support":0.2721213715688854,
         "confidence":1.0,
         "coverage":0.2721213715688854,
         "tr_support":0.789,
         "tr_confidence":1.0,
         "tr_coverage":0.789
      },
      {
         "template":"NotResponse",
         "parameters":[
            [
               "Receive admission notification"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"AlternatePrecedence",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"AtMost1",
         "parameters":[
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Receive admission notification"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotPrecedence",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Create a candidate account"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"AlternatePrecedence",
         "parameters":[
            [
               "Enter evaluation phase"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"AlternateResponse",
         "parameters":[
            [
               "Register for selection round"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Register for selection round"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Receive admission notification"
            ]
         ],
         "support":0.02315180215732702,
         "confidence":1.0,
         "coverage":0.02315180215732702,
         "tr_support":0.12,
         "tr_confidence":1.0,
         "tr_coverage":0.12
      },
      {
         "template":"AtMost1",
         "parameters":[
            [
               "Enrol in the program"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"Precedence",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Enter evaluation phase"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Create a candidate account"
            ],
            [
               "Enrol in the program"
            ]
         ],
         "support":0.17539244058581074,
         "confidence":1.0,
         "coverage":0.17539244058581074,
         "tr_support":1.0,
         "tr_confidence":1.0,
         "tr_coverage":1.0
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Upload certificates"
            ],
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.28317109532579143,
         "confidence":1.0,
         "coverage":0.28317109532579143,
         "tr_support":0.725,
         "tr_confidence":1.0,
         "tr_coverage":0.725
      },
      {
         "template":"NotChainResponse",
         "parameters":[
            [
               "Enter evaluation phase"
            ],
            [
               "Pre-enrol in the program"
            ]
         ],
         "support":0.10558624923265807,
         "confidence":1.0,
         "coverage":0.10558624923265807,
         "tr_support":0.499,
         "tr_confidence":1.0,
         "tr_coverage":0.499
      }
   ]
}

The output specifications files can be downloaded from specifications.

Considerations

For the post-processing, other techniques than hierarchy (say, hierarchyconflictredundancy, or hierarchyconflictredundancydouble, the default) can be used. However, this implies more accuracy in the detection (and removal) of the redundant constraints. Generally, the mining per se is very fast. The post-processing takes most of the computation time.

To filter out constraints, the thresholds event and trace based for support, confidence and coverage can be increased. Mind that especially support and coverage tend to be highly sensitive to slight variations in the threshold as they average over the whole set of events or traces.