Skip to main content
SpringerLink
Log in

Typed Petri Nets with Variable Arc Weights

  • Conference paper
  • First Online:
Business Process Management Workshops (BPM 2023)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 492))

Included in the following conference series:

  • 290 Accesses

Abstract

Object-centric processes have become increasingly popular in the last years mainly due to the establishment of object-centric process mining. One of the most popular formalisms for describing lifecycles of objects and capturing relationships between them are object-centric Petri nets. An important feature of such nets is the ability to transfer an arbitrary number of same-typed objects upon transition firing by means of so-called variable arcs. In this work, we generalise the concept of variable arcs by introducing a fairly simple and versatile mechanism of arc weight parameterization via linear combinations of type-dependent weight variables, and incorporating it into the new formalism of typed Petri nets with variable arc weights. Moreover, we demonstrate that such extended variable arcs can be effectively eliminated, making the resulting net model expressively equivalent to a classical P/T-net. This result allows a natural transfer of analytical techniques available for P/T-nets to the formalisms like object-centric Petri nets.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow modeling using proclets. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 198–209. Springer, Heidelberg (2000). https://doi.org/10.1007/10722620_20

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Cooperative Inf. Syst. 10(4), 443–481 (2001)

    Article  Google Scholar 

  3. van der Aalst, W.M.P., Berti, A.: Discovering object-centric Petri nets. Fundam. Informaticae 175(1–4), 1–40 (2020). https://doi.org/10.3233/FI-2020-1946

    Article  Google Scholar 

  4. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003). https://doi.org/10.1023/A:1022883727209

    Article  Google Scholar 

  5. Chiola, G., Donatelli, S., Franceschinis, G.: On parametric P/T nets and their modelling power. In: Proceeding of ICATPN, pp. 206–227 (1991)

    Google Scholar 

  6. Christensen, S., Mortensen, K.H.: Parametrisation of coloured Petri nets. DAIMI report series (521) (1997)

    Google Scholar 

  7. David, N., Jard, C., Lime, D., Roux, O.H.: Discrete parameters in Petri nets. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 137–156. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19488-2_7

    Chapter  Google Scholar 

  8. Geeraerts, G., Heußner, A., Praveen, M., Raskin, J.: \(\omega \)-Petri nets: algorithms and complexity. Fundam. Informaticae 137(1), 29–60 (2015)

    Article  Google Scholar 

  9. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)

    Google Scholar 

  10. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112

    Book  Google Scholar 

  11. Lomazova, I.A., Mitsyuk, A.A., Rivkin, A.: Soundness in object-centric workflow Petri nets. CoRR abs/2112.14994 (2021)

    Google Scholar 

  12. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. SIGMETRICS Perform. Eval. Rev. 26(2), 2 (1998)

    Article  Google Scholar 

  13. van der Werf, J.M.E.M., Rivkin, A., Polyvyanyy, A., Montali, M.: Data and process resonance - identifier soundness for models of information systems. In: Bernardinello, L., Petrucci, L. (eds.) PETRI NETS 2022. LNCS, vol. 13288, pp. 369–392. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-06653-5_19

    Chapter  Google Scholar 

  14. Zhu, R., Ban, Q., Cong, X.: Modules of Petri nets and new Petri net structure: arcs with a weighted function set. Adv. Mech. Eng. 11(3), 1–12 (2019)

    Article  Google Scholar 

Download references

Acknowledgment

The work of Irina A. Lomazova and Alexey A. Mitsyuk was supported by the Basic Research Program of the HSE University.

Author information

Authors and Affiliations

  1. Faculty of Computer Science, HSE University, Moscow, Russia

    Irina A. Lomazova & Alexey A. Mitsyuk

  2. Department of Mathematics and Computer Science, Technical University of Denmark, Lyngby, Denmark

    Andrey Rivkin

Authors
  1. Irina A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexey A. Mitsyuk
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrey Rivkin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andrey Rivkin .

Editor information

Editors and Affiliations

  1. KU Leuven, Leuven, Belgium

    Jochen De Weerdt

  2. TUM School of Computation, Information and Technology, Heilbronn, Germany

    Luise Pufahl

Rights and permissions

Reprints and permissions

Copyright information

© 2024 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

Lomazova, I.A., Mitsyuk, A.A., Rivkin, A. (2024). Typed Petri Nets with Variable Arc Weights. In: De Weerdt, J., Pufahl, L. (eds) Business Process Management Workshops. BPM 2023. Lecture Notes in Business Information Processing, vol 492. Springer, Cham. https://doi.org/10.1007/978-3-031-50974-2_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-50974-2_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-50973-5

  • Online ISBN: 978-3-031-50974-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation