Describing Behavior of Processes with Many-to-Many Interactions

DOI10.1007/978-3-030-21571-2_1MaRDI QIDQ6184715

Dirk Fahland

Publication date: 29 January 2024

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

zbMATH Keywords

Petri netstrue-concurrency semanticsmany-to-many interactionsmulti-instance processes

Mathematics Subject Classification ID

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

Related Items (2)

Aligning event logs to resource-constrained \(\nu \)-Petri nets ⋮ Data and process resonance. Identifier soundness for models of information systems

Cites Work

• Unnamed Item
• Unnamed Item
• Model checking Petri nets with names using data-centric dynamic systems
• Branching processes of Petri nets
• Operating Guidelines for Finite-State Services
• Understanding Petri Nets

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