Abstract
In this article, the principles of programming in the Sleptsov net language are further developed with respect to the restrictions on the control flow and its composition with data. The conditions of correctness of Sleptsov net programs are formulated in the form of additional restrictions on copying parameters of modules and using global variables. Flags are added for correct manipulation by shared data. In the general case without restrictions on the program composition rules, the problem is reduced to the soundness of workflow nets with shared resources; there are several useful particular cases when the algorithm complexity is polynomial. Examples of Sleptsov net programs for the fast solution of production control tasks are presented.
Highlights
Model driven software development is a fundamental current approach for developing software
The principles of programming in Sleptsov nets (SNs) language have been further developed with respect to the restrictions on the control flow (CF) and its composition with data
The conditions for the correctness of SN programs were formulated in the form of additional restrictions on copying parameters of modules and using global variables
Summary
Model driven software development is a fundamental current approach for developing software. Using the reverse CF with moving zero markings (checked via an inhibitor arc) does not restrict the number of firable instances of a transition at a step, which allows us to demonstrate the advantages of SNs for the efficient implementation of operations.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
