Page 362 -

344 References

57. S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and
Implementation. International Thomson Computer Press, London, 1996.
58. K. Jensen and L.M. Kristensen. Coloured Petri Nets. Springer, Berlin, 2009.
59. S.C. Kleene. Representation of Events in Nerve Nets and Finite Automata. In C.E. Shannon
and J. McCarthy, editors, Automata Studies, pages 3–41. Princeton University Press, Prince-
ton, NJ, 1956.
60. E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari. Inducing Declarative Logic-
Based Models from Labeled Traces. In G. Alonso, P. Dadam, and M. Rosemann, editors,
International Conference on Business Process Management (BPM 2007), volume 4714 of
Lecture Notes in Computer Science, pages 344–359. Springer, Berlin, 2007.
61. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall,
Upper Saddle River, NJ, 1999.
62. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specifi-
cation. Springer, New York, NY, 1991.
63. H. Mannila, H. Toivonen, and A.I. Verkamo. Discovery of Frequent Episodes in Event Se-
quences. Data Mining and Knowledge Discovery, 1(3):259–289, 1997.
64. R.S. Mans, M.H. Schonenberg, M. Song, W.M.P. van der Aalst, and P.J.M. Bakker. Appli-
cation of Process Mining in Healthcare: A Case Study in a Dutch Hospital. In Biomedical
Engineering Systems and Technologies, volume 25 of Communications in Computer and In-
formation Science, pages 425–438. Springer, Berlin, 2009.
65. R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker. Schedule-
Aware Workflow Management Systems. In K. Jensen, S. Donatelli, and M. Koutny, editors,
Transactions on Petri Nets and Other Models of Concurrency IV, volume 6550 of Lecture
Notes in Computer Science, pages 121–143. Springer, Berlin, 2010.
66. J. Mendling, G. Neumann, and W.M.P. van der Aalst. Understanding the Occurrence of Er-
rors in Process Models Based on Metrics. In F. Curbera, F. Leymann, and M. Weske, editors,
Proceedings of the OTM Conference on Cooperative Information Systems (CoopIS 2007),
volume 4803 of Lecture Notes in Computer Science, pages 113–130. Springer, Berlin, 2007.
67. T.M. Mitchell. Machine Learning. McGraw-Hill, New York, NY, 1997.
68. M. Montali, M. Pesic, W.M.P. van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative
Specification and Verification of Service Choreographies. ACM Transactions on the Web,
4(1):1–62, 2010.
69. H.R. Motahari-Nezhad, R. Saint-Paul, B. Benatallah, and F. Casati. Deriving Protocol Mod-
els from Imperfect Service Conversation Logs. IEEE Transactions on Knowledge and Data
Engineering, 20(12):1683–1698, 2008.
70. J. Munoz-Gama and J. Carmona. A Fresh Look at Precision in Process Conformance. In
R. Hull, J. Mendling, and S. Tai, editors, Business Process Management (BPM 2010),vol-
ume 6336 of Lecture Notes in Computer Science, pages 211–226. Springer, Berlin, 2010.
71. A. Nerode. Linear Automaton Transformations. Proceedings of the American Mathematical
Society, 9(4):541–544, 1958.
72. OMG. Business Process Model and Notation (BPMN). Object Management Group,
dtc/2010-06-05, 2010.
73. C.A. Petri. Kommunikation mit Automaten. PhD Thesis, Institut für instrumentelle Mathe-
matik, Bonn, 1962.
74. PoSecCo. Policy and Security Configuration Management (PoSecCo) Project Home Page.
www.posecco.eu.
75. T. Pyzdek. The Six Sigma Handbook: A Complete Guide for Green Belts, Black Belts, and
Managers at All Levels. McGraw Hill, New York, NY, 2003.
76. H.A. Reijers and W.M.P. van der Aalst. The Effectiveness of Workflow Management Sys-
tems: Predictions and Lessons Learned. International Journal of Information Management,
25(5):458–472, 2005.
77. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491
of Lecture Notes in Computer Science. Springer, Berlin, 1998.
78. A. Rozinat. Process Mining: Conformance and Extension. PhD Thesis, Eindhoven Univer-
sity of Technology, November 2010.