Author:
De Angelis Emanuele,Fioravanti Fabio,Meo Maria Chiara,Pettorossi Alberto,Proietti Maurizio
Publisher
Springer International Publishing
Reference36 articles.
1. van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21–66 (1998)
2. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the (PODS 2013), pp. 163–174. ACM (2013)
3. Berthomieu, B., Vernadat, F.: Time Petri nets analysis with TINA. In: Proceedings of QEST 2006, pp. 123–124. IEEE Computer Society (2006)
4. Lecture Notes in Computer Science;N Bjørner,2015
5. Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. Serv. Oriented Comput. Appl. 9(1), 75–85 (2015)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献