|
Journal of Automata, Languages and Combinatorics
formerly:
Journal of Information Processing and Cybernetics /
Elektronische Informationsverarbeitung und Kybernetik
|
|
@article{jalc050201,
author = {Devillers, Raymond and Klaudel, Hanna and Pelz, Elisabeth},
title = {An Algebraic Box Calculus},
journal = jalc,
year = 2000,
volume = 5,
number = 2,
pages = {81--107},
keywords = {Petri nets, algebraic specifications, synchronization,
compositional models},
abstract = {A-nets, a high level class of labeled Petri nets
introduced in order to cope with structured data and typing,
are provided with an algebraic structure allowing to
compositionally construct complex systems from simple
building blocks. Standard Petri Box Calculus control flow
operations are complemented here by a generalized
synchronization mechanism based on parameter identification,
of which various forms are examined. Its usefulness is
illustrated in the semantics of a parallel program.}
}