For the most recent entries see the Petri Nets Newsletter.

A Refined View of the Box Algebra.

Best, E.; Koutny, M.

In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 1-20. 1995.

Abstract: 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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography