In: Information Processing Letters, Vol. 27, No. 3, pages 111-117. March 1985.
Abstract: An alternative method of describing semantics of cause-effect structures is presented. It is based on a model of discrete dynamic systems. The model is similar to a condition-event Petri net, differing in the way restrictions on the alterability of actions are imposed.