Event Structures for Resolvable Conflict
Event Structures for Resolvable Conflict
复制标题
可解决冲突的事件结构
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
G. Plotkin
中科院分区：
文献类型：
--
作者：
R. V. Glabbeek;G. Plotkin
我们提出了winskkel事件结构的一种推广，与任意Petri网的表达能力相匹配。特别是，我们的事件结构捕捉可解决的冲突，除了析取和合取的因果关系。
We propose a generalisation of Winskel’s event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality.