Publisher
Springer International Publishing
Reference13 articles.
1. Abdulla, P.A., Aiswarya, C., Atig, M.F., Montali, M., Rezine, O.: Recency-bounded verification of dynamic database-driven systems. In: Proceedings of PODS. ACM Press (2016)
2. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: Proceedings of PODS (2013)
3. Carrasquel, J.C., Lomazova, I.A.: Modelling and validation of trading and multi-agent systems: an approach based on process mining and petri nets. In: Proceedings of the ICPM Doctoral Consortium (2019). http://ceur-ws.org/Vol-2432/paper4.pdf
4. Lecture Notes in Computer Science;R Hull,2008
5. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112