This study proposes a theoretical and mathematical model of a BigData-based information system for monitoring and managing groundwater across six hydrogeological deposits in the Zarafshan River valley, Samarkand Region, Uzbekistan. The conventional aggregated water-balance equation is first indexed...

This paper presents mathematical models, algorithms, and a software framework for formal languages and systems controlled by Petri nets. The proposed approach integrates formal language theory, Petri-net-based control mechanisms, and parallel execution strategies to analyze the generative and...