1. Abate, A.F., Esposito, A., Grieco, N., Nota, G.: Workflow Performance Evaluation through WPQL. In: Proc. SEKE 2002, pp. 489–495 (2002)
2. Wiley Series in Parallel Computing;M. Ajmone Marsan,1995
3. Biere, A., et al.: Bounded Model Checking. Book chapter: Advances in Computers, vol. 58. Academic Press, London (2003)
4. David, R., Alla, H.: On Hybrid Petri Nets. Discrete Event Dynamic Systems: Theory and Applications 11, 9–40 (2001)
5. Dehnert, J., Freiheit, J., Zimmermann, A.: Modeling and Performance Evaluation of Workflow Systems. In: Proc. 4th. World Multiconference on Systems, Cybernetics and Informatics, vol. VIII, pp. 632–637 (2000)