Skip to main content
Springer Nature Link
Log in

Virus Machines at Work: Computations of Workflow Patterns

  • Conference paper
  • First Online:
Decision Sciences (DSA ISC 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14778))

Included in the following conference series:

  • 39 Accesses

Abstract

In this work we use for the first time an unconventional and bio-inspired model of computation known as a virus machine (in short, VM) to model workflow patterns. VMs are novel computing paradigms inspired by biological viruses and their transmissions. VMs are capable of building sequential computing algorithms (they are Turing-universal). In this work, a young variant of VMs, called parallel VMs (in short, PVMs) is used for defining and analysing workflow patterns. More precisely, fundamental workflow patterns, such as sequences and various types of parallel splits and joins, are defined using PVMs. Besides the mathematical formulation of PVMs, their graphical representations have attractive aspects for workflow patterns. Such patterns can form the basis for modelling tasks, consumption of resources, to support for instance in decision making.

F.G.C. Cabarle is supported by the QUAL21 008 USE project (PAIDI 2020 and FEDER 2014–2020 funds). A. Ramírez-de-Arellano is supported by the Zhejiang Lab BioBit Program (Grant No. 2022BCF05).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Van der Aalst, W.M.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(01), 21–66 (1998)

    Article  MATH  Google Scholar 

  2. Adamatzky, A.: Handbook Of Unconventional Computing (In 2 Volumes). World Scientific (2021)

    Google Scholar 

  3. Ramírez-de Arellano, A., Orellana-Martín, D., Pérez-Jiménez, M.J.: Using virus machines to compute pairing functions. Int. J. Neural Syst. 33(05), 2350023 (2023). https://doi.org/10.1142/s0129065723500235

    Article  MATH  Google Scholar 

  4. Bäck, T., Kok, J.N., Rozenberg, G.: Handbook of Natural Computing. Springer, Heidelberg (2012)

    MATH  Google Scholar 

  5. Cabarle, F.G.C., Adorna, H.N.: On structures and behaviors of spiking neural p systems and petri nets. In: Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, 28–31 August 2012, Revised Selected Papers 13, pp. 145–160. Springer (2013)

    Google Scholar 

  6. Cabarle, F.G.C., Buño, K.C., Adorna, H.N.: Time after time: notes on delays in spiking neural p systems. In: Nishizaki, S., Numao, M., Caro, J., Suarez, M.T. (eds.) Theory and Practice of Computation, Tokyo, Japan, pp. 82–92. Springer (2013)

    Google Scholar 

  7. Chen, X., Pérez-Jiménez, M.J., Valencia-Cabrera, L., Wang, B., Zeng, X.: Computing with viruses. Theor. Comput. Sci. 623, 146–159 (2016). https://doi.org/10.1016/j.tcs.2015.12.006

    Article  MathSciNet  MATH  Google Scholar 

  8. van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14, 5–51 (2003)

    Article  MATH  Google Scholar 

  9. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  MATH  Google Scholar 

  10. Orellana-Martín, D., Ramírez-de Arellano, A., Pérez-Jiménez, M.J.: Simulating and validating virus machines. PREPRINT (Version 1) Research Square (2023). https://doi.org/10.21203/rs.3.rs-2714903/v1

  11. Peterson, J.L.: Petri nets. ACM Comput. Surv. (CSUR) 9(3), 223–252 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  12. Petri, C.A.: Communication with automata: Volume 1 supplement 1. DTIC Document (1966)

    Google Scholar 

  13. Ramírez-de-Arellano, A., Cabarle, F.G.C., Orellana-Martín, D., Pérez-Jiménez, M.J., Adorna, H.N.: Matrix representation of virus machines. In: 10th International Conference on the Interplay between Natural and Artificial Computation (IWINAC/ICINAC2024), Olhao, Portugal, 4–7 June 2024 (to appear)

    Google Scholar 

  14. Ramírez-de-Arellano, A., Orellana-Martín, D., Pérez-Jiménez, M.J.: Parallel virus machines, submitted to J. Membrane Comput

    Google Scholar 

  15. Ramírez-de-Arellano, A., Orellana-Martín, D., Pérez-Jiménez, M.J.: Generating, computing and recognizing with virus machines. Theor. Comput. Sci. 972, 114077 (2023). https://doi.org/10.1016/j.tcs.2023.114077

  16. Riehle, D., Züllighoven, H.: Understanding and using patterns in software development. Tapos 2(1), 3–13 (1996)

    MATH  Google Scholar 

  17. Rozenberg, G., Reisig, W.: Lectures on petri nets I: Basic models. Lecture Notes in Computer Science, vol. 1491 (1998)

    Google Scholar 

  18. Rozinat, A., Wynn, M.T., van der Aalst, W.M., ter Hofstede, A.H., Fidge, C.J.: Workflow simulation for operational decision support. Data Knowl. Eng. 68(9), 834–850 (2009)

    Article  MATH  Google Scholar 

  19. Song, T., Zeng, X., Zheng, P., Jiang, M., Rodriguez-Paton, A.: A parallel workflow pattern modeling using spiking neural p systems with colored spikes. IEEE Trans. Nanobiosci. 17(4), 474–484 (2018)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Seville, Spain

    Antonio Ramírez-de-Arellano, Francis George C. Cabarle, David Orellana-Martín, Agustín Riscos-Núñez & Mario J. Pérez-Jiménez

  2. SCORE Lab, I3US, Universidad de Sevilla, 41012, Seville, Spain

    Antonio Ramírez-de-Arellano, Francis George C. Cabarle, David Orellana-Martín, Agustín Riscos-Núñez & Mario J. Pérez-Jiménez

  3. Department of Computer Science, University of the Philippines Diliman, 1101, Quezon City, Philippines

    Francis George C. Cabarle

Authors
  1. Antonio Ramírez-de-Arellano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francis George C. Cabarle
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. David Orellana-Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Agustín Riscos-Núñez
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antonio Ramírez-de-Arellano .

Editor information

Editors and Affiliations

  1. Universidad Politécnica de Valencia, Valencia, Spain

    Angel A. Juan

  2. Public University of Navarre, Pamplona, Spain

    Javier Faulin

  3. ESADE Business School, Sant Cugat, Spain

    David Lopez-Lopez

Rights and permissions

Reprints and permissions

Copyright information

© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ramírez-de-Arellano, A., Cabarle, F.G.C., Orellana-Martín, D., Riscos-Núñez, A., Pérez-Jiménez, M.J. (2025). Virus Machines at Work: Computations of Workflow Patterns. In: Juan, A.A., Faulin, J., Lopez-Lopez, D. (eds) Decision Sciences. DSA ISC 2024. Lecture Notes in Computer Science, vol 14778. Springer, Cham. https://doi.org/10.1007/978-3-031-78238-1_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-78238-1_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-78237-4

  • Online ISBN: 978-3-031-78238-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics