Learning a formal model of a production system.pdf