Colored Petri-Net for Implementing DEMO/PSI Transactions for N Actor Roles (N >= 2)

  • Duarte GouveiaEmail author
  • David AveiroEmail author
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 334)


This works proposes a colored Petri-Net for implementing DEMO/PSI Transactions. It is based on previous works by the community and on requirement clarifications that happened on a working session on 2017 Enterprise Engineering Working Conference. The solution was designed taking into consideration an asynchronous and distributed system. It also introduces the possibility of using the DEMO/PSI transaction with more than two actor roles. We develop a prototype to validate the proposed solution.


Petri-Nets DEMO PSI theory Enterprise engineering 



This work was partially funded by FCT/MCTES LARSyS (UID/EEA/50009/2013 (2015–2017)).

This work was developed with financial support from ARDITI (Agência Regional para o Desenvolvimento da Investigação, Tecnologia e Inovação), in the context of project M14-20 09-5369-FSE-000001- Bolsa de Doutoramento.


  1. 1.
    Dietz, J.L.G.: Enterprise Ontology – Theory and Methodology. Springer, Heidelberg (2006). Scholar
  2. 2.
    Dietz, J.L.G.: The PSI theory – understanding human collaboration (v4.3) (2017). Accessed 25 May 2018
  3. 3.
  4. 4.
    Van Kervel, S.J.H.: Ontology driven enterprise information systems engineering. Doctoral dissertation, TU Delft, Delft University of Technology (2012)Google Scholar
  5. 5.
    Op’t Land, M., Krouwel, Marien R., van Dipten, E., Verelst, J.: Exploring normalized systems potential for Dutch MoD’s agility. In: Harmsen, F., Grahlmann, K., Proper, E. (eds.) PRET 2011. LNBIP, vol. 89, pp. 110–121. Springer, Heidelberg (2011). Scholar
  6. 6.
    Krouwel, M.R., Op’t Land, M.: Combining DEMO and normalized systems for developing agile enterprise information systems. In: Albani, A., Dietz, Jan L.G., Verelst, J. (eds.) EEWC 2011. LNBIP, vol. 79, pp. 31–45. Springer, Heidelberg (2011). Scholar
  7. 7.
    Gouveia, D., Aveiro, D.: Two protocols for DEMO engines: PSI or Tell&Agree. In: CIAO DC (2015)Google Scholar
  8. 8.
    Gouveia, D.: EEWC PSI Theory Technical Session (2017)Google Scholar
  9. 9.
    Skotnica, M., van Kervel, Steven J.H., Pergl, R.: A DEMO machine - a formal foundation for execution of demo models. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 18–32. Springer, Cham (2017). Scholar
  10. 10.
    Gouveia, D., Aveiro, D.: Core component of communication. In: Enterprise Engineering Working Conference (2016)Google Scholar
  11. 11.
    Gouveia, D., Aveiro, D.: DEMO/PSI theory and the law of the land. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 50–65. Springer, Cham (2017). Scholar
  12. 12.
    Gouveia, D., Aveiro, D.: Modeling exchange agreements with DEMO/PSI and core component of communication. In: Reinhartz-Berger, I., Gulden, J., Nurcan, S., Guédria, W., Bera, P. (eds.) BPMDS/EMMSAD-2017. LNBIP, vol. 287, pp. 220–236. Springer, Cham (2017). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.University of Madeira and Madeira Interactive Technologies InstituteFunchalPortugal

Personalised recommendations