Fahrenkrog-Petersen, Stephan A.Weidlich, MatthiasCzarnecki, ChristianBrockmann, CarstenSultanow, EldarKoschmider, AgnesSelzer, Annika2018-10-102018-10-102018978-3-88579-679-4https://dl.gi.de/handle/20.500.12116/17224Generalized Stochastic Petri Nets (GSPNs) can be used for performance analysis of business processes. Recently, it was shown that foldings of a GSPN, i.e., a set of model reduction rules, help to avoid over-fitting of the model with respect to the performance characteristics of a process. Yet, these foldings ignore the marking of a GSPN and, thus, are applicable solely for steady-state analysis. In this paper, we discuss how foldings may be lifted to marked nets and provide an assessment of stateful foldings for sequential GSPNs.enBusiness Process ManagementProcess MiningGeneralized Stochastic Petri netsModel SimplificationText/Conference Paper1617-5468