Distributed synthesis of asynchronously communicating distributed process models

DOI10.1007/978-3-662-65303-6_3MaRDI QIDQ2163771zbMATH OpenOpenAlexFDO

Authors Pieter Kwantes, Jetty Kleijn

Publication date 11 August 2022

Full work available at URL https://doi.org/10.1007/978-3-662-65303-6_3

zbMATH Keywords

asynchronous communicationdistributed processenterprise netindustry netpartial orderprocess discovery

Mathematics Subject Classification ID

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

Recommendations

• Discovering block-structured process models from event logs -- a constructive approach
• scientific article; zbMATH DE number 2111983
• Incremental process discovery using Petri net synthesis
• From place nets to local process models
• Discovering Petri nets from event logs

Cites work

• A trace semantics for Petri nets
• Associative composition of components with double-sided interfaces
• Channel Properties of Asynchronously Composed Petri Nets
• Decomposition of Petri nets
• Discovering block-structured process models from event logs -- a constructive approach
• Does My Service Have Partners?
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 1863181 (Why is no real title available?)
• Modeling business processes. A Petri net-oriented approach
• Open Petri nets as semantic model for workflow integration
• State equations and equivalent transformations for timed Petri nets

Cited in

(1)

• Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems)

This page was built for publication: Distributed synthesis of asynchronously communicating distributed process models

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