Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets

  • Kamel Barkaoui
  • Awatef Hicheur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4928)


In this paper we define a model, namely the recursive ECATNets (Recatnets) based on a sound combination of Extended Concurrent Algebraic Term nets and Recursive Petri nets, allowing a concise modeling of dynamic reconfiguration mechanisms of flexible workflow processes. The descriptive power of Recatnes is well-suited for collaborative workflows modeling. Moreover the use of model checking techniques to prove liveness and safety properties becomes possible due to their semantics defined in conditional rewriting logic.


Recursive Petri nets Flexible collaborative workflow Rewriting logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Van der Aalst, W.M.P., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)Google Scholar
  2. 2.
    Casati, F.: A discussion on approaches to handling exceptions in workflows. In: Conference on Computer-Supported Cooperative Work 1998, Seattle (1998)Google Scholar
  3. 3.
    Halliday, J.J., Shrivastava, S.K., Wheater, S.M.: Flexible workflow management in the OPENflow system. In: 4th IEEE Int. Enterprise Distributed Object Comp. Conf., pp. 82–92. IEEE Computer Society, Washington (2001)CrossRefGoogle Scholar
  4. 4.
    van Hee, K., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested nets for adaptive systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Sadiq, W., Sadiq, S., Schulz, K.: Model Driven Distribution of Collaborative Business Processes. In: IEEE International Conference on Services Computing, pp. 281–284. IEEE Computer Society, Chicago (2006)CrossRefGoogle Scholar
  6. 6.
    Sarshar, K., Theling, Th., Loos, P., Jerrentrup, M.: Integrating Process and Organization Models of Collaborations through Object Petri Nets. In: Sarshar, K. (ed.) MKWI 2006, contribution to XML4BPM, Passau (2006)Google Scholar
  7. 7.
    Hicheur, A., Barkaoui, K.: A Natural Semantics for RECATNets in Terms of Conditional Rewriting Logic. Internal Technical Report, Cedric Lab (2007) Google Scholar
  8. 8.
    Bettaz, M., Maouche, M.: How to Specify Non Determinism and True Concurrency with Algebraic Terms Nets. In: Bidoit, M., Choppy, C. (eds.) Recent Trends in Data Type Specification. LNCS, vol. 655, pp. 164–180. Springer, Heidelberg (1993)Google Scholar
  9. 9.
    Zeghib, N., Barkaoui, K., Bettaz, M.: Contextual ECATNets semantics in terms of conditional rewriting logic. In: 4th ACS/IEEE Int. Conf. on Computer Systems and Application, pp. 936–943. IEEE Press, Sharjah (2006)CrossRefGoogle Scholar
  10. 10.
    Haddad, S., Poitrenaud, D.: Modeling and analyzing systems with recursive Petri nets. In: 5th Workshop on Discrete Event Systems, pp. 449–458. Kluwer Academic, Belgium (2000)Google Scholar
  11. 11.
    Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci. 360(1–3), 386–414 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Lomazova, I.A.: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. J. Fundam. Inform. 51(1–2), 121–133 (2002)zbMATHMathSciNetGoogle Scholar
  13. 13.
    Valk, R.: Object Petri Nets-Using the Nets-within-Nets Paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004)Google Scholar
  14. 14.
    Clavel, M., Duran, F., Eker, S., Lincoln, P., Martı-Oliet, N., Meseguer, J., Talcott, C.: Maude manual (version2.3) (2007),
  15. 15.
    Hicheur, A., Barkaoui, K., Boudiaf, N.: Modeling Workflows with Recursive ECATNets. In: 8th SYNASC 2006, pp. 389–398. IEEE Computer Society, Los Alamitos (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Kamel Barkaoui
    • 1
  • Awatef Hicheur
    • 1
  1. 1.CEDRIC-CNAMFrance

Personalised recommendations