The Study for Workflow Analysis Method for Time Interval and Frequency Measuring based on Petri-net
Zhang Li, MU Xiao-dong · Procedia Engineering · 2011
Aim: Study formal methods on workflow analysis for time interval and frequency measuring, which can provide quantitative assessment and be automatically implemented on computer; Methods: Capitalize the basic theory of Petri-net to extract workflow model, illustrate the process of time interval and frequency measuring, assert whether the result is right or not, provide optimal path selection, record the numerical value of testing result until the end of the test; Results: Relying on workflow analysis, not only automatic measuring is implemented, also the validation of the process is offered; exemplify the practical situation and summarize the key points of practical experiments. Conclusion: The presented Petri-net based method, in principle, can be applied to key equipments, such as equipments in the fields of spaceflight, nuclear security control, and testing meters in massive scale projects, builds the basic theoretical foundation for automatic test.