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
Legacy Date26-30 June 1995
Volume935
Pages1-20
Series TitleLecture Notes in Computer Science
ISBN9783540600299
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.
PublisherSpringer
URLhttp://dx.doi.org/10.1007/3-540-60029-9_29
DOI10.1007/3-540-60029-9_29
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item