Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
   volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 1 van 42 gevonden artikelen
 
 
  A Construction Method for the Process Expression of Petri Net Based on Decomposition
 
 
Titel: A Construction Method for the Process Expression of Petri Net Based on Decomposition
Auteur: Qingtian Zeng
Verschenen in: Information technology journal
Paginering: Jaargang 7 (2008) nr. 3 pagina's 420-429
Jaar: 2008
Inhoud: Process expression is one of the most useful tools to describe the process semantics of a Petri net. However, it is usually not easy to obtain the process expression of a Petri net directly. In this research, a construction method is proposed to obtain the process expressions of all kinds of Petri nets based on decomposition. With this decomposition method, a Petri net is decomposed into a set of S-Nets. The process properties of the decomposition nets are easy to analyze since they are well-formed and their process expressions are easier to obtain. With the process expressions of the decomposition nets, an algorithm to obtain the process expression of the original Petri net is presented, which is expressed by the synchronization shuffle operation between processes.
Uitgever: Asian Network for Scientific Information, Pakistan (provided by DOAJ)
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 1 van 42 gevonden artikelen
 
   volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland