1. van der Aalst, W.M.P.: Petri net based scheduling. Oper. Res. Spektr. 18(4), 219–229 (1996)
2. Rozinat, A., Mans, R.S.: Mining CPN models: discovering process models with data from event logs. In: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN, pp. 57–76 (2006)
3. Synthesis Lectures on Artificial Intelligence and Machine Learning;M Gebser,2012
4. Falkner, A.A., Schenner, G., Friedrich, G., Ryabokon, A.: Testing object-oriented configurators with ASP. In: Workshop on Configuration at ECAI 2012, pp. 21–26 (2012)
5. Murata, T.: Petri nets: properties, analysis and applications. IEEE 77(4), 541–580 (1989)