1. Adriansyah A, Buijs J (2012) Mining process performance from event logs: the BPI Challenge 2012 case study. BPM reports, no. 1215. http://repository.tue.nl/91892e24-93b6-4b38-bae5-e4394e171bf7
2. AISencoding (2012) Automatic Identification System - Encoding Guide. http://www.uscg.mil/hq/cg5/TVNCOE/Documents/links/AIS.EncodingGuide.pdf , accessed 04/29/2016
3. AISreceiver (2016) Installation and Quick Reference Guide - SRL-200/G AIS Receiver. http://www.comarsystems.com/brochures/Installationaccessed04/29/2016
4. AIVM/AIVDO (2015) AIVDM/AIVDO protocol decoding. http://catb.org/gpsd/AIVDM.html , accessed 04/29/2016
5. Ajmone-Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modelling with Generalized Stochastic Petri Nets, 1st edn. Wiley, New York