Application procedures sharing UML-diagrams and Petri nets FOR pumping station
Software development can be divided into several stages: design, coding, testing, analysis, etc.In this paper describes possibility of design and analysis software for sharing UML -diagrams and Petri nets as an example of system pumping station. This part is responsible for pumping water from wells. In general, UML -diagrams are used to model the structure of the system and also for simulation of dynamic properties. Petri nets are needed to analyze dynamics of modeled using UML -diagrams. Simulation using activity diagram of dynamic part of system responsible for timely placement of pump and valves opening statement, i.e. manual control system. Designed diagram broadcast Petri net, using the rules applicable to such operations, to analyze the properties and identify logical errors: deadlock states, cycling, etc. Resulting Petri net consists of nine places and seven transitions. Analysis of properties is performed by generating research and state-space, which showed positive results. Thus, use of UML diagrams and Petri nets possible for design automation systems.