Configuration structures

@article{Glabbeek1995ConfigurationS,
  title={Configuration structures},
  author={Rob J. van Glabbeek and Gordon D. Plotkin},
  journal={Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science},
  year={1995},
  pages={199-209}
}
Configuration structures provide a model of concurrency generalising the families of configurations of event structures. They can be considered logically, as classes of propositional models; then, sub-classes can be axiomatised by formulae of simple prescribed forms. Several equivalence relations for event structures are generalized to configuration structures, and also to general Petri nets. Every configuration structure is shown to be ST-bisimulation equivalent to a prime event structure with… CONTINUE READING

Similar Papers

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 29 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

Concurrent bisimulations in Petri nets

  • POMELLO
  • 1991

Flow Event Structures and Flow Nets

  • Semantics of Systems of Concurrent Processes
  • 1990

Refine - ment of actions in causality based models

J. W. de Bakker, W. P. de Roever, G. Rozenberg
  • 1990

Equiv - alence notions fo r concurrent systems and refinement of actions

A. Kreczmar, G. Mirkowska