Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

15 Jan 2020 Luca Bernardinello Irina Lomazova Roman Nesterov Lucia Pomello

In this paper, we propose a compositional approach to construct formal models of complex distributed systems with several synchronously and asynchronously interacting components. A system model is obtained from a composition of individual component models according to requirements on their interaction... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE

Datasets


  Add Datasets introduced or used in this paper