Event structure

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Antimatroid/hYBJb89z">Antimatroid</a>, a system of events ordered by enabling subsets but without a consistency requirement</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Winskel, Glynn (1986), "Event structures" (PDF), in Brauer, Wilfried; Reisig, Wolfgang; Rozenberg, Grzegorz (eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, Lecture Notes in Computer Science, vol. 255, Springer, pp. 325–392, doi:10.1007/3-540-17906-2_31, ISBN 978-3-540-17906-1 <a href="978-3-540-17906-1" target="_blank">978-3-540-17906-1</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Event structure at the nLab <a href="https://ncatlab.org/nlab/show/event+structure" target="_blank">https://ncatlab.org/nlab/show/event+structure</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

Event structure open-in-new

Event structure