<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Jorg Desel (Hagen, Germany) Alex Yakovlev, Newcastle University</institution>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Regions have been de ned about 20 years ago by Andrzej Ehrenfeucht and Grzegorz Rozenberg as sets of nodes of a nite transition system that correspond to potential conditions that enable or disable transition occurrences in a corresponding elementary net system. Thus, regions have been the essential concept for synthesis of elementary net systems from its \anonymous" state graph (states are unknown but transitions between states are known). Since that time, many generalizations and variants of the synthesis problem of Petri nets from behavioural descriptions have been studied, including synthesis of more general Petri net classes, synthesis from languages, synthesis from partially ordered runs and synthesis from incomplete behavioural descriptions. All this work has in common that the transition names are given more or less directly by the behavioural description. The places of the net to be synthesized always correspond to regions which are de ned in many di erent ways, depending on the form of the behavioural description. A major issue in this research is the study of regions, whence we call the entire research direction Region Theory. Region Theory was applied in many di erent areas such as: hardware synthesis from precise speci cations (synthesis from transition systems) visualization of concurrent hardware behaviour (synthesis from logic circuit models, transition systems and partial orders) GALS synthesis and desynchronisation based on synthesis (synthesis from step transition systems and re-synthesis from Petri nets) synthesis of control and policies for discrete event systems (synthesis from both languages and transition systems) modelling biological (membrane) systems with localities (synthesis from step transition systems) generation of speci cations from incomplete speci cations (mining from transition systems) model generation from examples (speci cation from (partial) languages) mining of process descriptions (mining from languages) The aim of the ART workshop series was to bring together people working in these or other application areas of region theory, to exchange ideas and concepts and to work on common workshop results. This chapter contains reviewed contributions submitted to and presented at the 1st ART workshop in Braga, Portugal.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>