Modeling the process of human body iron homeostasis using a variant of timed Petri nets
Discrete Applied Mathematics
| Hi-index | 0.00 |
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows verifying communication protocols, in which the explicit concurrency of both competing and supporting events is considered. In this paper, we have applied the polygon tome structure to the verification of dynamic properties (like livelocks) of a simple protocol. As a result, we have shown that an application of the previously used interval time structure may lead to the evaluation of a protocol as incorrect, while it is livelock free.