Production-process modelling based on production-management data: a Petri-net approach