Author:
Cheikhrouhou Saoussen,Chabouh Nesrine,Kallel Slim,Maamar Zakaria
Publisher
Springer International Publishing
Reference13 articles.
1. Berthomieu, B., Vernadat, F.: Time Petri Nets analysis with TINA. In: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST), pp. 123–124 (2006)
2. Boubaker, S., Gaaloul, W., Graiet, M., Hadj-Alouane, N.B.: Event-b based approach for verifying cloud resource allocation in business process. In: Proceedings of the 2015 IEEE International Conference on Services Computing, SCC, pp. 538–545 (2015)
3. Cheikhrouhou, S., Chabouh, N., Kallel, S., Maamar, Z.: Transformation of timed BPMN busines processes and cloud resources into timed Petri-Nets. Technical report (2018). http://www.redcad.tn/projects/bpmn2tpn/technicalreport-0618.pdf
4. Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: The 15th International Conference on Information Integration and Web-based Applications and Services, IIWAS, p. 154 (2013)
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
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献