I will update this readme and create a wiki once I get all the files in the repository. In the meanwhile, you will find some docs in the Documents directory. I created this solutoin in Xamarin studio ...

Abstract: This paper presents an approach to model an unknown Ladder Logic based Programmable Logic Controller (PLC) program consisting of Boolean logic and counters using Process Mining techniques.