Describing Behavior of Processes with Many-to-Many Interactions

DOI10.1007/978-3-030-21571-2_1MaRDI QIDQ6184715zbMATH OpenFDO

Authors Dirk Fahland

Publication date 29 January 2024

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21571-2_1

zbMATH Keywords

many-to-many interactionsmulti-instance processesPetri netstrue-concurrency semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• P/R nets and process concepts. I
• scientific article; zbMATH DE number 3980467
• scientific article; zbMATH DE number 785044
• Concurrency, Synchronization, and Conflicts in Petri Nets
• scientific article; zbMATH DE number 139604

Cites work

• Branching processes of Petri nets
• scientific article; zbMATH DE number 5506900 (Why is no real title available?)
• scientific article; zbMATH DE number 5593270 (Why is no real title available?)
• Model checking Petri nets with names using data-centric dynamic systems
• Operating Guidelines for Finite-State Services
• Understanding Petri Nets

Cited in

(4)

• Aligning event logs to resource-constrained \(\nu \)-Petri nets
• Data and process resonance. Identifier soundness for models of information systems
• There and back again. On the reconstructability and rediscoverability of typed Jackson nets
• Exact and approximated log alignments for processes with inter-case dependencies

This page was built for publication: Describing Behavior of Processes with Many-to-Many Interactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184715)