1. Definition and validation of process mining use cases;Ailene,2012
2. On risk management with information flows in business processes;Bai;Inf. Syst. Res.,2012
3. Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems;Balbo,2007
4. A survey of basic net models and modular net classes;Bernardinello,1992
5. Object-oriented Analysis and Design With Applications;Booch,2007