S- and T-invariants in Cyber net systems

Cyber nets are also known as self-modifying nets. Though proposed and defined some 20 years ago, they have never been under thorough study ever since. The reason for this is simple: the nonlinear nature of such nets keeps them away from applications of well developed methods known to the whole Petri Net Society in the world. This paper attempts to make a start of studying cyber nets in depth by proposing a way to define and to verify S-invariants and T-invariants in such nets. These invariants reflect important dynamic properties of cyber nets. Invariants in cyber nets play a role similar to loop invariants proposed and studied by E.W. Dijkstra and D. Gries when cyber nets are used for program specification.EI中国科学引文数据库(CSCD)03239-2521