On sets of numbers accepted by P/T systems composed by join

  • Authors:
  • Pierluigi Frisco;Oscar H. Ibarra

  • Affiliations:
  • School of Mathematical and Computer Sciences, Heriot-Watt University, EH14 4AS, Edinburgh, UK;Department of Computer Science, University of California, Santa Barbara, CA 93106, USA

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2010

Quantified Score

Hi-index 5.23

Visualization

Abstract

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these abstract computing devices can be understood by just looking at their topology, that is, information flow. Here we continue this line of research by introducing J languages and proving that they can be accepted by place/transition systems whose underlying net is composed only by join. Moreover, we study how J languages relate to other families of formal languages.