Stochastic performance models have been widely used to analyse the performance and reliability of systems that involve the ﬂow and processing of customers and/or resources with multiple service centres. However, the quality of performance analysis delivered by a model depends critically on the degree to which the model accurately represents the operations of the real system. This paper presents an automated technique which takes as input high-precision location tracking data - potentially collected from a real life system and constructs a hierarchical Generalised Stochastic Petri Net performance model of the underlying system. We examine our method's eﬀectiveness and accuracy through two case studies based on synthetic location tracking data.
Information from pubs.doc.ic.ac.uk/petri-net-from-location-data.