A generalized event structure for the Muller unfolding of a safe net [chapter]

Jeremy Gunawardena
<span title="">1993</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
asynchronous circuit, event structure, logics of causality, unfolding In 1959, Muller and Bartky published a celebrated paper on .~Theory of Asynchronous Circuits". Among many novel techniques in that paper was the use of lattices resembling the domains of configurations of event structures. In the light of this we present a generalization of Muller's construction to safe nets. We find, however, that this "Muller unfolding" cannot be generated as the domain of configurations of any known event
more &raquo; ... tructure, not even a General Event structure. (In particular, this unfolding differs from that of Nielsen, Plotkin and WinskeL) This paper attempts to fill that gap. We make use of the logical approach to causality, developed in previous work, in which a General Event Structure is interpreted as a logical automation arising from a particular logic of causality. We introduce a new causal logic and associate a corresponding logical automaton to any finite safe Petri net. Our main result is that the domain of configurations of this generalized event structure is isomorphic to the Muller unfolding of the net. The work described here was done as part of project STETSON, a joint project between HP Labs and Stanford University on asynchronous hardware design.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57208-2_20">doi:10.1007/3-540-57208-2_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2sv3rol6ff4pnnc56fzlgklbe">fatcat:c2sv3rol6ff4pnnc56fzlgklbe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808062848/http://www.hpl.hp.com/techreports/94/HPL-94-42.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e0/42/e04228d3a3f3f7483f769fd0e0a8a74a4489d38c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57208-2_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>