Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets. Interactions among components are encoded in an additional int...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2001.08064 http://arxiv.org/abs/2001.08064 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|