Toggle Main Menu Toggle Search

Open Access padlockePrints

A Refined View of the Box Algebra

Lookup NU author(s): Professor Eike Best, Professor Maciej KoutnyORCiD


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.

Publication metadata

Author(s): Best E, Koutny M

Editor(s): De Michelis, G., Diaz, M.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 16th International Conference on Application and Theory of Petri Nets (APN)

Year of Conference: 1995

Pages: 1-20

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer


DOI: 10.1007/3-540-60029-9_29

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540600299