Linear Properties of Zero-Safe Nets with Debit Tokens

Authors:
Michael Köhler-Bußmeier;Manfred Kudlek
Affiliations:
(Correspd. University of Hamburg, Department of Informatics, Vogt-Kölln-Str. 30, 22527 Hamburg, Germany) University of Hamburg, Department of Informatics Vogt-Kölln-Str. 30, 22527 Hambur ...;University of Hamburg, Department of Informatics Vogt-Kölln-Str. 30, 22527 Hamburg, Germany. {koehler, kudlek}@informatik.uni-hamburg.de
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2008

Citing 7
Cited 1

Petri nets are moniods

Information and Computation
Place/transition nets with debit arcs

Information Processing Letters
A categorical linear framework for Petri nets

Information and Computation
Zero-safe nets: comparing the collective and individual token approaches

Information and Computation - Special issue on EXPRESS 1997
Zero-safe nets: The individual token approach

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Executing transactions in zero-safe nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

Causality in structured occurrence nets

Dependable and Historic Computing

Quantified Score

Hi-index	0.00

Visualization

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.