Petri nets

A PETRI NET-BASED APPROACH TO EXTRACTING AND VALIDATING REQUIREMENTS FOR MODELLING AND MODERNIZING ARCHAIC IT SYSTEMS

Archaic IT systems are critical to the functioning of many organizations but present significant challenges for modernization due to their inherent complexity, outdated technologies, and lack of adequate documentation. Extracting and understanding the workflows and embedded requirements within such systems is essential for adapting them to contemporary infrastructure while maintaining regulatory compliance and operational integrity. This article explores the use of Petri Nets as a formal and graphical modelling tool to address these challenges.

Development of Model, Based on Petri Nets, for the Planning Stage of Robotic Systems Design System

This article is devoted to development of model, based on Petri nets, which corresponds planning stage of RTS automatic design. The model was developed according to the algorithm of the planning stage, which is the basic one in five-level representation of the robotization project estimation process, and enables to explore the dynamics of the process and the reliability of the corresponding component of the RTS design system, also providing the possibility of additional RTS correction in a broader functional and constructive spectrum.