Advanced Materials Research Vol. 978

Abstract: The formal method becomes the important method of software specification elucidation gradually and explain to have integrity, consistency and have no two through a born specification of form method the characteristics of precision, the Petri net is a kind of the sketch turns of formal method, call a predicate/transition petri net is a kind of deluxe Petri net, the structure of the deluxe Petri net and traditional Petri net homology, but the position in the deluxe Petri net, move and Hu power heavy had an abundant content, finally use to call a predicate/transition petri net to material the information collect the formal description of managing the system.1 preface