Extensions of Elementary Cause-Effect Structures
Keyword(s):
Cause-effect structures are objects of a formal system devised for modeling, testing and verifying properties of tasks, where parallel execution of actions is the most characteristic feature. This is an algebraic system called a quasi-semiring. In this paper elementary cause-effect structures, a system behaviourally equivalent to 1-safe Petri nets, are extended by the following features: weighted edges, multi-valued nodes having capacities (counterpart of place/transition Petri nets), inhibitors and a model of time. The extensions are accomplished by modifying the notion of state and semantics, but leaving unchanged structure of the quasi-semiring expressions.
1988 ◽
Vol 135
(4)
◽
pp. 239
◽
1995 ◽
Vol 115
(7)
◽
pp. 914-919
2009 ◽
Vol 129
(5)
◽
pp. 455-461
◽
Keyword(s):
2019 ◽
Vol 28
(1)
◽
pp. 19-27