- Tytuł:
- Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics
- Autorzy:
-
Mateo, J. A.
Srba, J.
Sørensen, M. G. - Data publikacji:
- 2015
- Słowa kluczowe:
-
timed workflow processes
soundness checking
decidability
verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł