ANALYSE ET PROPRIETES DES PROCESSUS COMMUNIQUANT PAR FILES FIFO PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download ANALYSE ET PROPRIETES DES PROCESSUS COMMUNIQUANT PAR FILES FIFO PDF full book. Access full book title ANALYSE ET PROPRIETES DES PROCESSUS COMMUNIQUANT PAR FILES FIFO by Annie Choquet-Geniet. Download full books in PDF and EPUB format.
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)
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)
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.
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.
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.
Author: Annie Choquet-Geniet
Author: Annie Choquet-Geniet
Author: Grzegorz Rozenberg
Author: Sudhir Aggarwal
Author: 
Author: 
Author: Hidehiko Tanaka
Author: Manuel Aguilar Cornejo
Author: Charles Antony Richard Hoare
Author: Jörg Desel
Author: Garrett Birkhoff