Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
We study independence of events in the unfoldings of Petri nets, in particular indirect influences between concurrent events: Confusion in the sense of Smith [11] and weak interference. The role of structural (conflict) clusters is investigated, and a new unfolding semantics based on clusters motivated and introduced.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
259--270
Opis fizyczny
bibliogr. 16 poz.
Twórcy
autor
- IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France, Stefan.Haar@irisa.fr
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0003-0068