Asynchronous box calculus

• Published in: Fundamenta informaticae Vol. 54; no. 4; pp. 295 - 344
• Main Authors: Devillers, R, Koutny, M, Klaudel, H, Pommereau, F
• Format: Journal Article
• Language: English
• Published: 01.03.2003

The 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 interpr...