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