Petri Net Automatic Modeling Method Based on System Behavior Sequence
If you want to simulate and analyze a system by Petri net, you must construct a reliable and accurate Petri net model. Problem of constructing model by Petri net is discussed few at present. Petri net automatic modeling method based on system behavior sequence is presented. This method combines all the behavior sequences of system into the formal language expression. For different system, giving labeled function (giving the relationship between transition and system behaviors) can construct system Petri net model. To illustrate the algorithm, an example of constructing user Petri net model of telephone call service is given. This method has strong formalization and can be used universally. The model constructed by this method is standard and can realize computer automatic modeling. It makes progress in research of system modeling.