Soobshcheniya po Programmnomu Obespecheniyu EVM. (Reports in Software), pages 1-24 pp.. Moscow: Akad. Nauk SSSR, Vychisl. Tsentr, 1988. In Russian.
Abstract: This report deals with an extension of Petri nets, called dynamic Petri nets. In the classical definition of a Petri net one assumes that a pre-condition influences an event, and as a result we get a post-condition. In the case of a dynamic Petri net, in addition, one gets also a post-operation. In other words, one can change the structure of a dynamic Petri net by inserting or deleting a transitions or places. The author discusses and proves several properties of dynamic Petri nets.
Keywords: dynamic net; post-operation.