Military information service composition and validation method based on object Petri net
Xueshan Luo · Systems engineering and electronics · 2011
The concept and characteristic of military information service is analyzed,and a construction method of military information service composition model based on object Petri net is proposed.This method expands the semantic description capability of service composition model via attribute information of both place and token,resolves the problem of uncertainty route choice via a switch control-function,realizes the hierarchical modeling method via service object,which improves the limitations of the general Petri net model.In order to guarantee the feasibility of the service composition model,a model analysis method including the validity of service,correctness of service's communications and rationality of flow structure is proposed.Finally,aiming at a concrete case,a military information service composition model is modeled and validated with this method.The results show that this modeling method can meet the need of military information service composition and has an enough capability in expressing and verifying the military information service composition.