Hello, dear friend, you can consult us at any time if you have any questions, add WeChat: THEend8_
Laboratory work No.1.
Topic: Petri nets. Introduction to CPN Tools
Theoretical information
CPN Tools is a special software tool designed for modelling hierarchical temporary coloured Petri nets. Such networks constitute a universal algorithmic system that makes it possible to describe arbitrary object.
CPN Tools allows you to visualize the model using a Petri net graph and use the CPN ML (Coloured Petri Net Mark-up Language) programming language for a formalized description of the model.
Purpose of CPN Tools:
· development of complex objects and modelling of processes in various applied areas, including: modelling of production and business processes;
· modelling of control systems for production systems and robots;
· specification and verification of protocols, assessment of network capacity and quality of service, design of telecommunication devices and networks.
Main functions of CPN Tools:
· creating (editing) models;
· analysis of model behaviour using network dynamics simulation
· Petrie;
· construction and analysis of the state space of the model.
Interface CPN Tools
The remaining version of the program can be downloaded from the sitehttp://cpntools.org/. The site also contains documentation for design and initial applications, which allows you to quickly master the basic principles of creating models inCPN Tools. After launch, the mainCPN Tools window will appear (Fig. 1).
Figure 1 - Main window of CPN Tools
The main window consists of two areas:the work area (on the right) and the menu area (on the left), containing theTool box,Help system andOptions settings. In the work area, you can call up both individual toolbars (Fig. 2) and a graphical representation of the model in the form of a Petri net. To open the tool palette, you need to drag it, holding down the left mouse button, from the menu to the work area.
Figure 2 - Toolbars in the CPN Tools workspace
Two functions are available in the interface assigned to the user:
· attraction of the created border «Load Net»;
· creation of a new network «New Net».
To create a new network (Fig. 3), you need to press the right mouse button in the work area and press the right mouse button in the menu, select the “New net” item and move the mouse cursor to the new one. The work with other menus in theCPN Tools program is organized in a similar manner.