Formal modelling and verification of a multi-agent negotiation approach for airline operations control

This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is compared with three airline strategies based on established industry practices. The application concerns Airline Operations...

Workflow Mining: A stepwise Approach for extracting Event logs from Corporate Network Data

For (forensic) auditing purposes it is useful to have a wise view of how pro- cesses are performed in an organisation. Workflow mining can help in creating such a view by mining workflow models that give a visual representation of the processes. But not all organisations use workflow management systems that produce the needed event logs that are...