Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs

  • Andreas Rogge-Solti
  • Wil M. P. van der Aalst
  • Mathias Weske
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 171)

Abstract

Capturing the performance of a system or business process as accurately as possible is important, as models enriched with performance information provide valuable input for analysis, operational support, and prediction. Due to their computationally nice properties, memoryless models such as exponentially distributed stochastic Petri nets have earned much attention in research and industry. However, there are cases when the memoryless property is clearly not able to capture process behavior, e.g., when dealing with fixed time-outs.

We want to allow models to have generally distributed durations to be able to capture the behavior of the environment and resources as accurately as possible. For these more expressive process models, the execution policy has to be specified in more detail. In this paper, we present and evaluate process discovery algorithms for each of the execution policies. The introduced approach uses raw event execution data to discover various classes of stochastic Petri nets. The algorithms are based on the notion of alignments and have been implemented as a plug-in in the process mining framework ProM.

Keywords

Process mining Stochastic Petri nets Generally distributed transitions 

References

  1. 1.
    van der Aalst, W.: Process Mining: Discovery Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net transformations for business processes – a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  3. 3.
    Rozinat, A., Mans, R.S., Song, M., van der Aalst, W.: Discovering simulation models. Inf. Syst. 34(3), 305–327 (2009)CrossRefGoogle Scholar
  4. 4.
    Leclercq, E., Lefebvre, D., Ould El Mehdi, S.: Identification of timed stochastic petri net models with normal distributions of firing periods. In: Information Control Problems in Manufacturing, vol. 13, pp. 948–953 (2009)Google Scholar
  5. 5.
    Anastasiou, N., Horng, T., Knottenbelt, W.: Deriving generalised stochastic Petri Net performance models from high-precision location tracking data. In: VALUETOOLS’11, ICST, pp. 91–100 (2011)Google Scholar
  6. 6.
    Hu, H., Xie, J., Hu, H.: A novel approach for mining stochastic process model from workflow logs. J. Comput. Inf. Syst. 7(9), 3113–3126 (2011)MathSciNetGoogle Scholar
  7. 7.
    Marsan, M.A., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A.: The effect of execution policies on the semantics and analysis of stochastic petri nets. IEEE Trans. Softw. Eng. 15, 832–846 (1989)CrossRefGoogle Scholar
  8. 8.
    Adriansyah, A., van Dongen, B., van der Aalst, W.: Conformance checking using cost-based fitness analysis. In: EDOC 2011, pp. 55–64. IEEE (2011)Google Scholar
  9. 9.
    Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri Net. IEEE Trans. Softw. Eng. 20(7), 506–515 (1994)CrossRefGoogle Scholar
  10. 10.
    Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM TOCS 2(2), 93–122 (1984)CrossRefGoogle Scholar
  11. 11.
    van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining Knowl. Discov. 2, 182–192 (2012). (Wiley Online Library)CrossRefGoogle Scholar
  12. 12.
    Fahland, D., van der Aalst, W.M.P.: Repairing process models to reflect reality. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 229–245. Springer, Heidelberg (2012) Google Scholar
  13. 13.
    Buijs, J.C.A.M., La Rosa, M., Reijers, H.A., van Dongen, B.F., van der Aalst, W.M.P.: Improving business process models using observed behavior. In: Cudre-Mauroux, P., Ceravolo, P., Gašević, D. (eds.) SIMPDA 2012. LNBIP, vol. 162, pp. 44–59. Springer, Heidelberg (2013) Google Scholar
  14. 14.
    Padgett, W., McNichols, D.T.: Nonparametric density estimation from censored data. Commun. Stat. Theor. Methods 13(13), 1581–1611 (1984)CrossRefMATHMathSciNetGoogle Scholar
  15. 15.
    Kooperberg, C., Stone, C.J.: Logspline density estimation for censored data. J. Comput. Graph. Stat. 1(4), 301–328 (1992)Google Scholar
  16. 16.
    Buchholz, R., Krull, C., Horton, G.: Reconstructing model parameters in partially-observable discrete stochastic systems. In: Al-Begain, K., Balsamo, S., Fiems, D., Marin, A. (eds.) ASMTA 2011. LNCS, vol. 6751, pp. 159–174. Springer, Heidelberg (2011)Google Scholar
  17. 17.
    Wombacher, A., Iacob, M.E.: Start time and duration distribution estimation in semi-structured processes. Technical report, Centre for Telematics and Information Technology, University of Twente (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Andreas Rogge-Solti
    • 1
  • Wil M. P. van der Aalst
    • 2
  • Mathias Weske
    • 1
  1. 1.Business Process Technology Group, Hasso Plattner InstituteUniversity of PotsdamPotsdamGermany
  2. 2.Department of Information SystemsEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations