Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 12

Position Papers of the 2017 Federated Conference on Computer Science and Information Systems

Temporal Evaluation of Business Processes Using Timed Colored Petri Nets


DOI: http://dx.doi.org/10.15439/2017F539

Citation: Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 12, pages 161168 ()

Full text

Abstract. Time constraints become one of the most crucial requirements to be satisfied in business processes, in order to make the business competitive, and to achieve the business goal. This paper proposes a Colored Petri Net (CPN) based approach to modeling and evaluating business processes including various temporal constraints and requirements. The essential part of a business process and temporal aspects are separated in our approach to make the business process models comprehensive. More specifically, separately-defined modules to deal with time constraints are to be appended to the traditional non-temporal business process models. The created models can be simulated using cpntools to evaluate whether the given temporal requirements are satisfied.


  1. M. Dumas, M. La Rosa and J. Mendling, Fundamentals of Business Process Management, Springer, Heidelberg, Germany; 2013.
  2. S. Cheikhrouhou, S. Kallel, N. Guermouche, and M. Jmaiel, “The temporal perspective in business process modeling: a survey and research challenges,” Service Oriented Computing and Applications vol. 9, issue. 1, 2015, pp. 75–85. [Online]. Available: http://dx.doi.org/10.1007/s11761-014-0170-x
  3. B. Silver, BPMN Method and Style, 2nd Edition, with BPMN Implementer’s Guide: A Structured Approach for Business Process Modeling and Implementation Using BPMN 2, Cody-Cassidy Press, Altadena, CA; 2011.
  4. M. B. Juric and D. Weerasiri, WS-BPEL 2.0 Beginner’s Guide, Packt Publishing, Birmingham, UK; 2014.
  5. D. Gagne and A. Trudel, “Time-BPMN,” Proc. of 2009 IEEE Conference on Commerce and Enterprise Computing, pp. 361–367, 2009. [Online]. Available: http://dx.doi.org/10.1109/CEC.2009.71
  6. H. Banati, P. Bedi and P. Marwaha, “Extending BPEL for WSDL-Temporal based Web services,” Proc. of 12th International Conference on Hybrid Intelligent Systems (HIS), pp. 484–489, 2012. [Online]. Available: http://dx.doi.org/10.1109/HIS.2012.6421382
  7. K. Jensen and L. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer, Heidelberg, Germany; 2009.
  8. V. V. Kalashnikov, Mathematical Methods in Queuing Theory (Mathematics and Its Applications), Springer, Heidelberg, Germany; 2010.
  9. M. Diaz, Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, Hoboken, NJ; 2009.
  10. J. Wang, Timed Petri Nets: Theory and Application (The International Series on Discrete Event Dynamic Systems), Springer, Heidelberg, Germany; 1998.
  11. M. Werner, “Colored Petri Nets for Integrating the Data Perspective in Process Audits,” Lecture Notes in Computer Science vol. 8217, 2013, pp. 387–394. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-41924-9 31
  12. K. van Hee, O. Oanea, and N. Sidorova, “Colored Petri Nets to Verify Extended Event-Driven Process Chains,” in the 2005 Confederated International Conference on On the Move to Meaningful Internet Systems, Agia Napa, Cyprus, 2005, pp. 183–201. [Online]. Available: http://dx.doi.org/10.1007/11575771_14
  13. W. P. M. Aalst and C. Stahl, Modeling Business Processes: A Petri Net-Oriented Approach, The MIT Press, Heidelberg, Cambridge, MA; 2011.
  14. K.Jensen, L. Kristensen, and L. Wells “Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems,” International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, Numbers 3–4, 2007, pp. 213–254. [Online]. Available: http://dx.doi.org/10.1007/s10009-007-0038-x