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...