A Refined View of the Box Algebra

  1. Lookup NU author(s)
  2. Professor Eike Best
  3. Professor Maciej Koutny
Author(s)Best E, Koutny M
Editor(s)De Michelis, G., Diaz, M.
Publication type Conference Proceedings (inc. Abstract)
Conference Name16th International Conference on Application and Theory of Petri Nets (APN)
Conference LocationTurin, Italy
Year of Conference1995
Source Publication Date26-30 June 1995
Series TitleLecture Notes in Computer Science
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper presents the operational semantics and the Petri net semantics of a fragment of the box algebra in tutorial style. For the operational semantics, inductive rules for marked expressions are given. For the net semantics, a general mechanism of refinement and relabelling is introduced, using which the connectives of the algebra are defined. A companion paper shows how this mechanism can be extended to handle recursion.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item