Text this: Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes