Propositional Description of Finite Cause-Effect Structures
Article in journal (Refereed)
Information Processing Letters(ISSN 0020-0190)(EISSN 1872-6119)
Engineering and Technology
Dynamic system; semantics of cause-effect structures
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.