Local action systems and DPO graph transformation

  • Authors:
  • Dirk Janssens

  • Affiliations:
  • Department of Mathematics and Computer Science, U.I.A. Universiteitsplein 1, 2610 Antwerp, Belgium

  • Venue:
  • Formal and natural computing
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

A comparison between DPO graph rewriting and Local Action Systems is presented. It is shown that, as far as the sequential behaviour is concerned, each Local Action Systems can be simulated by a set of Double Pushout productions and vice versa. The encoding used is fairly straightforward, and it is easy to give conditions under which it preserves the finiteness of the sets of productions involved. As far as the sequential behaviour is concerned, it is shown that the situation is more complicated, and that the constructions presented are not satisfactory in the sense that atomic steps which are parallel independent in one system do not give rise to parallel independent steps in the simulating system.