Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 3 van 27 gevonden artikelen
 
 
  A New Synchronisation Model for Multi-Level Object Petri Nets
 
 
Titel: A New Synchronisation Model for Multi-Level Object Petri Nets
Auteur: Berndt Farwer
Manfred Kudlek
Verschenen in: Fundamenta informaticae
Paginering: Jaargang 60 (2004) nr. 1-4 pagina's 131-142
Jaar: 2004-09-10
Inhoud: The present paper continues work from [7]. One goal of this work is to find a class of (object) Petri nets of lesser power than Turing machines, such that there exists a universal Petri net within that class. Another goal is to surpass the restricted synchronisation of transitions in object and system nets in the case of value semantics. Finally, an encoding of the proposed class of object Petri nets into linear logic Petri nets (LLPNs) is given, which directly leads to a specification that can be model-checked by existing tools.
Uitgever: IOS Press
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 3 van 27 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland