Author: Annie Choquet-Geniet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 104
Book Description
PRESENTATION DES OUTILS D'ANALYSE POUR LES RESEAUX A FILES (RESEAUX A FILES A CHOIX LIBRE TOPOLOGIQUE ET RESEAUX LINEAIRES). UTILISATION DU RESEAU COLORE ASSOCIE PERMETTANT DE DECIDER LA QUASI-VIVACITE, LA TERMINAISON INFINIE ET LA VIVACITE. DETERMINATION DU CENTRE DES RESEAUX. FORME GENERALE DU LANGAGE D'ENTREE DES FILES. DESCRIPTION DU LANGAGE D'UN SYSTEME DE DEUX PROCESSUS COMMUNIQUANT PAR FILES (LANGAGE D'UN RESEAU DE PETRI)
ANALYSE ET PROPRIETES DES PROCESSUS COMMUNIQUANT PAR FILES FIFO
Author: Annie Choquet-Geniet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 104
Book Description
PRESENTATION DES OUTILS D'ANALYSE POUR LES RESEAUX A FILES (RESEAUX A FILES A CHOIX LIBRE TOPOLOGIQUE ET RESEAUX LINEAIRES). UTILISATION DU RESEAU COLORE ASSOCIE PERMETTANT DE DECIDER LA QUASI-VIVACITE, LA TERMINAISON INFINIE ET LA VIVACITE. DETERMINATION DU CENTRE DES RESEAUX. FORME GENERALE DU LANGAGE D'ENTREE DES FILES. DESCRIPTION DU LANGAGE D'UN SYSTEME DE DEUX PROCESSUS COMMUNIQUANT PAR FILES (LANGAGE D'UN RESEAU DE PETRI)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 104
Book Description
PRESENTATION DES OUTILS D'ANALYSE POUR LES RESEAUX A FILES (RESEAUX A FILES A CHOIX LIBRE TOPOLOGIQUE ET RESEAUX LINEAIRES). UTILISATION DU RESEAU COLORE ASSOCIE PERMETTANT DE DECIDER LA QUASI-VIVACITE, LA TERMINAISON INFINIE ET LA VIVACITE. DETERMINATION DU CENTRE DES RESEAUX. FORME GENERALE DU LANGAGE D'ENTREE DES FILES. DESCRIPTION DU LANGAGE D'UN SYSTEME DE DEUX PROCESSUS COMMUNIQUANT PAR FILES (LANGAGE D'UN RESEAU DE PETRI)
Advances in Petri Nets 1988
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
ISBN: 9783540505808
Category : Computers
Languages : en
Pages : 450
Book Description
The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.
Publisher: Springer Science & Business Media
ISBN: 9783540505808
Category : Computers
Languages : en
Pages : 450
Book Description
The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.
Protocol Specification, Testing, and Verification, VIII
Author: Sudhir Aggarwal
Publisher: Elsevier Science & Technology
ISBN:
Category : Computer network protocols
Languages : en
Pages : 444
Book Description
Publisher: Elsevier Science & Technology
ISBN:
Category : Computer network protocols
Languages : en
Pages : 444
Book Description
Advances in Petri Nets
Petri Net Newsletter
Interoperable Information Systems
Author: Hidehiko Tanaka
Publisher:
ISBN:
Category : Computer network architectures
Languages : en
Pages : 432
Book Description
Publisher:
ISBN:
Category : Computer network architectures
Languages : en
Pages : 432
Book Description
Contribution à la validation de systèmes de processus communiquant par files d'attente
Author: Manuel Aguilar Cornejo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 137
Book Description
Cette thèse présente du travail dans le cadre de la modélisation et de la vérification de systèmes de processus asynchrones communiquant par files fifo. Un problème majeur pour la vérification est que les files peuvent croître de manière non bornée. Nous proposons une technique d'analyse statique pour réduire la taille des modèles de tels systèmes en "éliminant" certaines files, et ceci tout en préservant certaines propriétés du système. Par "élimination" d'une file nous entendons une consommation au plus tôt des messages posés dans cette file, sans entrelacement avec d'autres actions possibles du systèmes. La justification de cette réduction est basée sur les mêmes arguments des techniques de "réduction d'ordres partiels". Nous définissons une notion de "conflit" sur le graphe de communication d'un système qui sont les cycles de communication et l'existence de plusieurs chemins de communication entre deux nœuds. En absence de conflit, toutes les files peuvent être éliminées. Nous utilisons la méthode d'analyse statique de "slicing" pour raffiner le graphe de communication et éventuellement éliminer certains conflits. Nous montrons qu'il est suffisant de préserver une seule file sur chaque chemin conflictuel. Nous avons implémenté une partie des algorithmes dans l'outil IF développé au laboratoire et appliqué notre méthode à un nombre d'exemples. Dans certains cas, il est possible de rendre finis des systèmes initialement infinis.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 137
Book Description
Cette thèse présente du travail dans le cadre de la modélisation et de la vérification de systèmes de processus asynchrones communiquant par files fifo. Un problème majeur pour la vérification est que les files peuvent croître de manière non bornée. Nous proposons une technique d'analyse statique pour réduire la taille des modèles de tels systèmes en "éliminant" certaines files, et ceci tout en préservant certaines propriétés du système. Par "élimination" d'une file nous entendons une consommation au plus tôt des messages posés dans cette file, sans entrelacement avec d'autres actions possibles du systèmes. La justification de cette réduction est basée sur les mêmes arguments des techniques de "réduction d'ordres partiels". Nous définissons une notion de "conflit" sur le graphe de communication d'un système qui sont les cycles de communication et l'existence de plusieurs chemins de communication entre deux nœuds. En absence de conflit, toutes les files peuvent être éliminées. Nous utilisons la méthode d'analyse statique de "slicing" pour raffiner le graphe de communication et éventuellement éliminer certains conflits. Nous montrons qu'il est suffisant de préserver une seule file sur chaque chemin conflictuel. Nous avons implémenté une partie des algorithmes dans l'outil IF développé au laboratoire et appliqué notre méthode à un nombre d'exemples. Dans certains cas, il est possible de rendre finis des systèmes initialement infinis.
Communicating Sequential Processes
Author: Charles Antony Richard Hoare
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
Lectures on Concurrency and Petri Nets
Author: Jörg Desel
Publisher: Springer
ISBN: 3540277552
Category : Mathematics
Languages : en
Pages : 857
Book Description
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichsttt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.
Publisher: Springer
ISBN: 3540277552
Category : Mathematics
Languages : en
Pages : 857
Book Description
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichsttt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.
Lattice Theory
Author: Garrett Birkhoff
Publisher: American Mathematical Soc.
ISBN:
Category : Algebra, Abstract
Languages : en
Pages : 308
Book Description
Publisher: American Mathematical Soc.
ISBN:
Category : Algebra, Abstract
Languages : en
Pages : 308
Book Description