Time-soundness of time Petri nets modelling time-critical systems
The correctness of a time-critical system is closely related to the time of responding and
performing every event. Our motivation example, alternating bit protocol, and application …
performing every event. Our motivation example, alternating bit protocol, and application …
Time-soundness of time petri nets modelling time-critical systems
G Liu, C Jiang, M Zhou - ACM Transactions on Cyber-Physical …, 2018 - researchwith.njit.edu
The correctness of a time-critical system is closely related to the time of responding and
performing every event. Our motivation example, alternating bit protocol, and application …
performing every event. Our motivation example, alternating bit protocol, and application …