Journal article
Asynchronous Box Calculus
Abstract
IThe starting point of this paper is an algebraic Petri net framework allowing one to express net compositions, such as iteration and parallel composition, as well as transition synchronisation and restriction. We enrich the original model by introducing new constructs supporting asynchronous interprocess communication. Such a communication is made possible thanks to special 'buffer' places where different transitions (processes) may deposit …
Authors
Devillers R; Klaudel H; Koutny M; Pommereau F
Journal
Fundamenta Informaticae, Vol. 54, No. 4, pp. 295–344
DOI
10.3233/fun-2003-54401
ISSN
0169-2968