Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Fuss H. AFMG — Ein Asynchroner Flussmodell-Generator. GMD Report Nr. 100, 1975.
Valk R. Self-modifying nets, a natural extension of Petri nets. Lecture Notes in Computer Science Vol. 62. Berlin: Springer-Verlag, pp.464–476, 1978.
Dijkstra E W. A Discipline of Programming. Englewood Cliffs, New Jersey: Prentice Hall, 1976.
Gries D. The science of programming. New York: Springer-Verlag, 1981.
Yuan Congyi. Towards a general solution of system automation: A net specification of N-lift system. GMD Report, 1989.
Valk R. Self-modeling nets. Universität Hamburg, Institut für Informatik, Bericht Nr.34, IFI-HHB-34/77(1977).
Valk R. Generalization of Petri nets. Lecture Notes in Computer Science Vol. 118, 1981, 140–155.
Author information
Authors and Affiliations
Additional information
This project is supported by the National Natural Science Foundation of China.
Yuan Chongyi received his B.S. degree in mathematics from Nanjing University in 1964, and finish his graduate study in topology in 1968 at Institute of Mathematics, The Chinese Academy of Sciences, Beijing. From January 1978 to December 1992, he held a research position in computer science in Institute of Mathematics, The Chinese Academy of Sciences, and became a Professor of the Department of Computer Science, Peking University before the end of 1992. His major interests are Petri net theory and parallel computing. He is also the Director of the Petri Net Community of Chinese Computer Federation.
Rights and permissions
About this article
Cite this article
Yuan, C. S- and T-invariants in cyber net systems. J. of Compt. Sci. & Technol. 10, 239–252 (1995). https://doi.org/10.1007/BF02943491
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943491