부산대학교 도서관

The development of existing signal acquisition systems has long-term and high-cost problems. To deal with such situation, this paper takes the dust signal acquisition system as an example, and proposes a modeling method combining Information Flow Hierarchical Dynamic (IFHD) with Inhibitor arcs Hierarchical Coloured Petri Nets (IHCPN). The method first establishes a Unified Modeling Language (UML) model based on the functional block diagram of the system. To simplify the reference model, improved the transformation rules between the UML model and Petri Nets (PN) model. To ensure the validity, safety, and rationality of the reference model, the dynamic analysis of the constructed PN model is carried out by using the analysis method of the reachable marking graph. The simulation results of CPN Tools show that the model satisfies boundedness, reachability, liveness, and fairness, conforms to the performance indicators of system operation. Compared with the modeling method of Hierarchical Coloured Petri Nets (HCPN), IHCPN can greatly reduce the number of model nodes and connecting arcs, reduce the complexity of the system model, and provide a reliable reference model while effectively save system development time and cost.