Linear Properties of Zero-Safe Nets with Debit Tokens

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Köhler-Bußmeier, Michael | Kudlek, Manfred

Affiliations: University of Hamburg, Department of Informatics Vogt-Kölln-Str. 30, 22527 Hamburg, Germany. {koehler, kudlek}@informatik.uni-hamburg.de

Note: [] Address for correspondence: University of Hamburg, Department of Informatics, Vogt-Kölln-Str. 30, 22527 Hamburg, Germany

Abstract: In this contribution we study an extension of zero-safe nets that allows to model cooperation scenarios. Since zero-safe nets cannot be represented as finite nets in general, we study an extension of the firing rule having a close connection to blind counter automatons and the theory of semi-flows. As a main result we obtain, that a representation can always be given as a finite P/T net – although our firing rule is an extension of the original one – i.e. it preserves all the events that have been allowed before.

Keywords: debit tokens, semi-flows, zero-safe nets

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 329-342, 2008