Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: debit tokens

Sortuj według:

Ogranicz wyniki do:

Linear Properties of Zero-Safe Nets with Debit Tokens

Köhler-Bußmeier M., Kudlek M.

Fundamenta Informaticae

2008

Vol. 85, nr 1-4

329-342

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.