A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification
The behavioral correctness of real-time software systems relies on both the results of its computation and the clock times when the results are produced. Obviously, formal verification of the safety and correctness of real-time software specification from the very beginning of the software design phase obviously helps us reduce the development efforts. From a practical point of view, the timed Petri net is commonly used to graphically model and illustrate the view of the timed behavior ofdoi:10.4186/ej.2018.22.4.161 fatcat:nxcpmmdc45anbk7xxdt6vvvg7y