Author:
Holenderski, Leszek (Inatitute of Informatics, University of Warsaw)
Szalas, Andrzej (Department of Computing, Imperial College, London)
Title:
Propositional Description of Finite Cause-Effect Structures
Publication type:
Article in journal (Refereed)
Publisher:
Elsevier
In:
Information Processing Letters(ISSN 0020-0190)(EISSN 1872-6119)
URI:
urn:nbn:se:liu:diva-74992
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74992
Subject category:
Engineering and Technology
Keywords(en)
:
Dynamic system; semantics of cause-effect structures
Abstract(en)
:
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.
Available from:
2012-02-13
Statistics:
9 hits