Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
<< vorige   
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 8 van 8 gevonden artikelen
  Unfolding Semantics of Petri Nets Based on Token Flows
Titel: Unfolding Semantics of Petri Nets Based on Token Flows
Auteur: Bergenthum, Robin
Mauser, Sebastian
Lorenz, Robert
Juhas, Gabriel
Verschenen in: Fundamenta informaticae
Paginering: Jaargang 94 (2009) nr. 3-4 pagina's 331-360
Jaar: 2009-10-26
Inhoud: In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [13]. In contrast to the standard unfolding based on branching processes, one of the presented unfolding models avoids to represent isomorphic processes while the other additionally reduces the number of (possibly nonisomorphic) processes with isomorphic underlying runs. We show that both the proposed unfolding models still represent the complete partial order behavior. Moreover, in both cases it is possible to construct complete finite prefixes for bounded nets through applying the known theory of cut-off events. In particular, canonical prefixes w.r.t. a given cutting context can be defined and computed for bounded nets. We present implementations of construction algorithms for complete finite prefixes of both the unfolding models. Experimental results show that the computed prefixes are much smaller and can be constructed significantly faster than in the case of the standard unfolding.
Uitgever: IOS Press
Bronbestand: Elektronische Wetenschappelijke Tijdschriften

                             Details van artikel 8 van 8 gevonden artikelen
<< vorige   
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland