@article(van2004workflow, author = {Wil van der Aalst and Ton Weijters and Laura Maruster}, year = {2004}, title = {Workflow mining: Discovering process models from event logs}, journal = {Knowledge and Data Engineering, IEEE Transactions on}, volume = {16}, number = {9}, pages = {1128--1142}, doi = {10.1109/TKDE.2004.47}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1316839}, ) @inproceedings(DBLP:conf/sac/AlrahmanNLTV15, author = {Yehia Abd Alrahman and {De Nicola}, Rocco and Michele Loreti and Francesco Tiezzi and Roberto Vigo}, year = {2015}, title = {A calculus for attribute-based communication}, editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong}, booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015}, publisher = {{ACM}}, pages = {1840--1845}, doi = {10.1145/2695664.2695668}, url = {http://dl.acm.org/citation.cfm?id=2695664}, ) @inproceedings(DBLP:conf/qest/AmparoreBDF11, author = {Elvio Gilberto Amparore and Marco Beccuti and Susanna Donatelli and Giuliana Franceschinis}, year = {2011}, title = {Probe Automata for Passage Time Specification}, booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, {QEST} 2011, Aachen, Germany, 5-8 September, 2011}, publisher = {{IEEE} Computer Society}, pages = {101--110}, doi = {10.1109/QEST.2011.20}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6041098}, ) @inproceedings(DBLP:conf/dsn/AmparoreD10, author = {Elvio Gilberto Amparore and Susanna Donatelli}, year = {2010}, title = {Model checking CSL\relax${}^{\unhbox\voidb@x \hbox{TA}}\relax\GenericError { }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I to replace it with another command,\MessageBreak or to continue without it.} with Deterministic and Stochastic Petri Nets}, booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July 1 2010}, publisher = {{IEEE} Computer Society}, pages = {605--614}, doi = {10.1109/DSN.2010.5544425}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5532324}, ) @inproceedings(stochasticprobes, author = {Argent-Katwala, A. and J.T. Bradley and N.J. Dingle}, year = {2004}, title = {Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, publisher = {ACM Press}, address = {Redwood Shores, California, USA}, pages = {49--58}, doi = {10.1145/974044.974051}, ) @article(10.2307/4616418, author = {{S\o ren} Asmussen and Olle Nerman and Marita Olsson}, year = {1996}, title = {Fitting Phase-Type Distributions via the {EM} Algorithm}, journal = {Scandinavian Journal of Statistics}, volume = {23}, number = {4}, pages = {419--441}, url = {http://www.jstor.org/stable/4616418}, ) @inproceedings(DBLP:journals/corr/BortolussiNGGHL15, author = {Luca Bortolussi and {De Nicola}, Rocco and Vashti Galpin and Stephen Gilmore and Jane Hillston and Diego Latella and Michele Loreti and Mieke Massink}, year = {2015}, title = {{CARMA: Collective Adaptive Resource-sharing Markovian Agents}}, editor = {Nathalie Bertrand and Mirco Tribastone}, booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015.}, series = {{EPTCS}}, volume = {194}, pages = {16--31}, doi = {10.4204/EPTCS.194.2}, ) @inproceedings(xsp, author = {Allan Clark and Stephen Gilmore}, year = {2008}, title = {State-aware performance analysis with {eXtended Stochastic Probes}}, editor = {Nigel Thomas and Carlos Juiz}, booktitle = {Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008)}, series = {LNCS}, volume = {5261}, publisher = {Springer}, address = {Palma de Mallorca, Spain}, pages = {125--140}, doi = {10.1007/978-3-540-87412-6\_10}, ) @incollection(DBLP:series/lncs/NicolaLLLMMMPTV15, author = {{De Nicola}, Rocco and Diego Latella and Lluch{-}Lafuente, Alberto and Michele Loreti and Andrea Margheri and Mieke Massink and Andrea Morichetta and Rosario Pugliese and Francesco Tiezzi and Andrea Vandin}, year = {2015}, title = {The {SCEL} Language: Design, Implementation, Verification}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl and Nora Koch and Philip Mayer}, booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS} Approach}, series = {Lecture Notes in Computer Science}, volume = {8998}, publisher = {Springer}, pages = {3--71}, doi = {10.1007/978-3-319-16310-9\_1}, ) @book(pepa, author = {J. Hillston}, year = {1996}, title = {A Compositional Approach to Performance Modelling}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511569951}, ) @inproceedings(RecoveringInvariants, author = {Peter Kemper}, year = {2009}, title = {Recovering model invariants from simulation traces with Petri net analysis techniques}, booktitle = {Proceedings of the 2009 Winter Simulation Conference (WSC)}, pages = {827--838}, doi = {10.1109/WSC.2009.5429706}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5429706&tag=1}, ) @inproceedings(DBLP:conf/epew/ReineckeKW13, author = {Philipp Reinecke and Krau{\ss}, Tilman and Katinka Wolter}, year = {2013}, title = {Phase-Type Fitting Using HyperStar}, editor = {Maria Simonetta Balsamo and William J. Knottenbelt and Andrea Marin}, booktitle = {Computer Performance Engineering - 10th European Workshop, {EPEW} 2013, Venice, Italy, September 16-17, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8168}, publisher = {Springer}, pages = {164--175}, doi = {10.1007/978-3-642-40725-3\_13}, ) @book(ProcessMining, author = {{van der Aalst}, Wil M.P.}, year = {2011}, title = {Process Mining: Discovery, Conformance and Enhancement of Business Processes}, publisher = {Springer}, doi = {10.1007/978-3-642-19345-3}, url = {http://link.springer.com/book/10.1007/978-3-642-19345-3}, )