Elementary transition systems and refinement

@article{Nielsen1992ElementaryTS,
  title={Elementary transition systems and refinement},
  author={Mogens Nielsen and Grzegorz Rozenberg and P. S. Thiagarajan},
  journal={Acta Informatica},
  year={1992},
  volume={29},
  pages={555-578}
}
Elementary transition systems are-in a strong categorical sense-the transition system version of a basic system model of net theory called elementary net systems. The structural notion of a region associated with elementary transition systems captures the intuitive idea of a local state as modelled by the conditions of an elementary net system. In this paper we equip elementary transition systems with a refinement operation over the local states (regions). We then show our operation satisfies a… CONTINUE READING