Szukana fraza: [Abstract = In the project, a new way of modeling and simulation of Petri nets is prepared too. The new language – XML, for modeling Petri nets gives a new possibility. The advantage of XML\-based format is a possibility of data exchange between various tools and various representations of concurrent controllers. Using such an approach, direct transformation from SFC model into Petri net model and simulation of Petri nets and SFC is possible. There are different methods of verification modeled systems. One of the simplest methods is simulation. It is similar to the debugging of program execution. During the simulation it is possible to check whether a circuit modeled by a Petri net and SFC behaves correctly. Therefore, it is possible to recognize and remove errors in the controllers, even at an early stage of the design.]

Wyników: 1