Model Checking ofWorkflow Nets with Tables and Constraints
Many operations in workflow systems are dependent on database tables. The classical workflow net and its extensions (e.g., worflow net with data) cannot model these operations so that some related errors cannot be found by them. Recently, workflow nets with tables (WFT-nets) were proposed to remedy...
Guardado en:
| Autores principales: | , |
|---|---|
| Format: | Artículo |
| Udgivet: |
2023
|
| Fag: | |
| Online adgang: | https://arxiv.org/abs/2307.03685 http://arxiv.org/abs/2307.03685 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|