Towards modelling and analyzing timed workflow systems with complex synchronizations
Nowadays, workflow systems are becoming very complex, involving time constraints, priorities on tasks as well as elaborated synchronization schemes. As a result, the specification and the verification of such systems are demanding much theory to prove their correctness and determine their qualitativ...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2020-05-01
|
| Series: | Journal of King Saud University: Computer and Information Sciences |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S131915781930182X |