This paper analyzes the problems of implicit places and implicit transitions. In view of the shortage of α algoritm to resolve the implicit problems, α+* algorithm is presented. In this algorithm, the implicit tasks are marked in another style, the model are constructed by the dependency of the tasks. It uses CPN Tools to general log files and mines the logs by ProM and α+* algorithm. The simulation results validate the efficiency of the algorithm.
Considering communications resource of remote nodes is limited, this paper presents a histogram-based load shedding for window multi-joins over data streams. The formula of load shedding rate is given based on the load of central processing and data source nodes. A central histogram and source histograms are designed by using clustering technique, and load shedding is proposed based on these histograms. The results show that the algorithm can produce maximum subset of exact join result and it is efficient for shedding the load of streaming window multi-joins.
A civil aviation integrated information platform based on Service Oriented Architecture(SOA) is introduced. According to the characteristics of civil aviation industry, the components of the core service logic in integrated information platform are designed by using the top-to-down method with the idea of service oriented. These components are packed to the core service in integrated information platform, which implements the operation of database at lower layers. Experimental results show this service system is effective.