Programming in the Sleptsov net language for systems control

Programming in the Sleptsov net language for systems control

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

Full description

Bibliographic Details
Main Authors: Dmitry Zaitsev, Jan Jürjens
Format: Article
Language:English
Published: SAGE Publishing 2016-03-01
Series:Advances in Mechanical Engineering
Online Access:https://doi.org/10.1177/1687814016640159
id doaj-8314274a65e24d34bbfeb2fbd1b16afe
record_format Article
spelling doaj-8314274a65e24d34bbfeb2fbd1b16afe2020-11-25T02:58:19ZengSAGE PublishingAdvances in Mechanical Engineering1687-81402016-03-01810.1177/168781401664015910.1177_1687814016640159Programming in the Sleptsov net language for systems controlDmitry ZaitsevJan JürjensIn 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.https://doi.org/10.1177/1687814016640159
collection DOAJ
language English
format Article
sources DOAJ
author Dmitry Zaitsev
Jan Jürjens
spellingShingle Dmitry Zaitsev
Jan Jürjens
Programming in the Sleptsov net language for systems control
Advances in Mechanical Engineering
author_facet Dmitry Zaitsev
Jan Jürjens
author_sort Dmitry Zaitsev
title Programming in the Sleptsov net language for systems control
title_short Programming in the Sleptsov net language for systems control
title_full Programming in the Sleptsov net language for systems control
title_fullStr Programming in the Sleptsov net language for systems control
title_full_unstemmed Programming in the Sleptsov net language for systems control
title_sort programming in the sleptsov net language for systems control
publisher SAGE Publishing
series Advances in Mechanical Engineering
issn 1687-8140
publishDate 2016-03-01
description 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.
url https://doi.org/10.1177/1687814016640159
work_keys_str_mv AT dmitryzaitsev programminginthesleptsovnetlanguageforsystemscontrol
AT janjurjens programminginthesleptsovnetlanguageforsystemscontrol
_version_ 1724707068788604928

Similar Items