Configuration Structures, Event Structures and Petri Nets

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Contributed to the Festschrift for Mogens Nielsen's 60th birthday

Scientific paper

10.1016/j.tcs.2009.06.014

In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the collective token interpretation. To this end we propose a more general form of event structure, matching the expressive power of such nets. These new event structures and nets are connected by relating both notions with configuration structures, which can be regarded as representations of either event structures or nets that capture their behaviour in terms of action occurrences and the causal relationships between them, but abstract from any auxiliary structure. A configuration structure can also be considered logically, as a class of propositional models, or - equivalently - as a propositional theory in disjunctive normal from. Converting this theory to conjunctive normal form is the key idea in the translation of such a structure into a net. For a variety of classes of event structures we characterise the associated classes of configuration structures in terms of their closure properties, as well as in terms of the axiomatisability of the associated propositional theories by formulae of simple prescribed forms, and in terms of structural properties of the associated Petri nets.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Configuration Structures, Event Structures and Petri Nets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Configuration Structures, Event Structures and Petri Nets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Configuration Structures, Event Structures and Petri Nets will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-62460

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.