Distributed synthesis of asynchronously communicating distributed process models
From MaRDI portal
Publication:2163771
DOI10.1007/978-3-662-65303-6_3zbMath1499.68228OpenAlexW4225592451MaRDI QIDQ2163771
Pieter Kwantes, H. C. M. Kleijn
Publication date: 11 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-662-65303-6_3
partial orderasynchronous communicationdistributed processprocess discoveryenterprise netindustry net
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- State equations and equivalent transformations for timed Petri nets
- Associative composition of components with double-sided interfaces
- A trace semantics for Petri nets
- Decomposition of Petri nets
- Does My Service Have Partners?
- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
- Channel Properties of Asynchronously Composed Petri Nets
- Open Petri Nets as Semantic Model for Workflow Integration