1. Wil van der Aalst, Ton Weijters & Laura Maruster (2004): Workflow mining: Discovering process models from event logs. Knowledge and Data Engineering, IEEE Transactions on 16(9), pp. 1128–1142, doi:10.1109/TKDE.2004.47. Available at
  2. Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi & Roberto Vigo (2015): A calculus for attribute-based communication. In: Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini & Jiman Hong: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. ACM, pp. 1840–1845, doi:10.1145/2695664.2695668. Available at
  3. Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli & Giuliana Franceschinis (2011): Probe Automata for Passage Time Specification. In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. IEEE Computer Society, pp. 101–110, doi:10.1109/QEST.2011.20. Available at
  4. Elvio Gilberto Amparore & Susanna Donatelli (2010): Model checking CSL^\voidb@x TALaTeX Error: Bad math environment delimiterSee the LaTeX manual or LaTeX Companion for explanation.Your command was ignored.Type I <command> <return> to replace it with another command,or <return> to continue without it. with Deterministic and Stochastic Petri Nets. In: Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010. IEEE Computer Society, pp. 605–614, doi:10.1109/DSN.2010.5544425. Available at
  5. A. Argent-Katwala, J.T. Bradley & N.J. Dingle (2004): Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models. In: Proceedings of the Fourth International Workshop on Software and Performance. ACM Press, Redwood Shores, California, USA, pp. 49–58, doi:10.1145/974044.974051.
  6. Søren Asmussen, Olle Nerman & Marita Olsson (1996): Fitting Phase-Type Distributions via the EM Algorithm. Scandinavian Journal of Statistics 23(4), pp. 419–441. Available at
  7. Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti & Mieke Massink (2015): CARMA: Collective Adaptive Resource-sharing Markovian Agents. In: Nathalie Bertrand & Mirco Tribastone: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., EPTCS 194, pp. 16–31, doi:10.4204/EPTCS.194.2.
  8. Allan Clark & Stephen Gilmore (2008): State-aware performance analysis with eXtended Stochastic Probes. In: Nigel Thomas & Carlos Juiz: Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008), LNCS 5261. Springer, Palma de Mallorca, Spain, pp. 125–140, doi:10.1007/978-3-540-87412-6_10.
  9. Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi & Andrea Vandin (2015): The SCEL Language: Design, Implementation, Verification. In: Martin Wirsing, Matthias M. Hölzl, Nora Koch & Philip Mayer: Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Lecture Notes in Computer Science 8998. Springer, pp. 3–71, doi:10.1007/978-3-319-16310-9_1.
  10. J. Hillston (1996): A Compositional Approach to Performance Modelling. Cambridge University Press, doi:10.1017/CBO9780511569951.
  11. Peter Kemper (2009): Recovering model invariants from simulation traces with Petri net analysis techniques. In: Proceedings of the 2009 Winter Simulation Conference (WSC), pp. 827–838, doi:10.1109/WSC.2009.5429706. Available at
  12. Philipp Reinecke, Tilman Krauß & Katinka Wolter (2013): Phase-Type Fitting Using HyperStar. In: Maria Simonetta Balsamo, William J. Knottenbelt & Andrea Marin: Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings, Lecture Notes in Computer Science 8168. Springer, pp. 164–175, doi:10.1007/978-3-642-40725-3_13.
  13. Wil M.P. van der Aalst (2011): Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, doi:10.1007/978-3-642-19345-3. Available at

Comments and questions to:
For website issues: