RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/9900

Title: Language, liveness and fairness invariant in decomposition of petri net based on the index of place
???metadata.dc.creator???: Zeng, Qingtian
Keywords: Petri net
Index of places
Petri net language
Reachable state
Rede de Petri
Índice de lugares
Linguagem da rede de Petri
Estado alcançável
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Mar-2006
Citation: ZENG, Q. Language, liveness and fairness invariant in decomposition of petri net based on the index of place. INFOCOMP: Journal of Computer Science, Lavras, v. 5, n. 1, p. 11-18, Mar. 2006.
Abstract: It is not easy to analyze the physical system with Petri net if the system is large-scaled and complex, mainly because the structure of the Petri net model is also complex. In order to overcome this difficulty, a decomposition method of Petri net based on an index function of places is introduced, with which a set of well-formed and structure-simple sub net systems can be obtained. For all the sub net systems, the number of all the input or output places of each transition is less than or equal to one. The relationships about the reachable states, languages, liveness and fairness between the original Petri net and its sub net systems are analyzed with details. The sufficient and necessary conditions are presented to keep the reachable states and languages invariant during the decomposition process, which is useful for analysis of liveness and fairness of structure-complex Petri net systems.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/117
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

View Statistics


DSpace Software Copyright © 2002-2010  Duraspace - Feedback