Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement 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 Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement PDF full book. Access full book title Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement by Maurice Comlan. Download full books in PDF and EPUB format.
Author: Maurice Comlan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d'états (ou espace d'états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l'accessibilité, la terminaison, la vivacité, l'absence de blocage, etc. Mais la construction de cet espace d'états est confrontée au problème d'explosion combinatoire du nombre d'états lié à la complexité et à la concurrence du système.L'une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d'ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l'étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s'agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri.
Author: Maurice Comlan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d'états (ou espace d'états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l'accessibilité, la terminaison, la vivacité, l'absence de blocage, etc. Mais la construction de cet espace d'états est confrontée au problème d'explosion combinatoire du nombre d'états lié à la complexité et à la concurrence du système.L'une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d'ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l'étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s'agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri.
Author: Alan Burns
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 600
Get Book Here
Book Description
A survey of real-time systems and the programming languages used in their development. Shows how modern real-time programming techniques are used in a wide variety of applications, including robotics, factory automation, and control. A critical requirement for such systems is that the software must
Author: Jacqueline Ki-Zerbo
Publisher: Univ of California Press
ISBN: 9780520066960
Category : History
Languages : en
Pages : 372
Get Book Here
Book Description
"This volume covers the period from the end of the Neolithic era to the beginning of the seventh century of our era. This lengthy period includes the civilization of Ancient Egypt, the history of Nubia, Ethiopia, North Africa and the Sahara, as well as of the other regions of the continent and its islands."--Publisher's description
Author: Daniel J. Sherman
Publisher:
ISBN: 9780816619511
Category : Art
Languages : en
Pages : 326
Get Book Here
Book Description
Museums display much more than artifacts; Museum Culture makes us on a tour through the complex of ideas, values and symbols that pervade and shape the practice of exhibiting today. Bringing together a broad range of perspectives from history, art history, critical theory and sociology, the contributors to this new collection argue that museums have become a central institution and metaphor in contemporary society. Discussing exhibition histories and practice in Western Europe, the former Soviet Union, Israel and the United States, the authors explore the ways in which museums assign meaning to art through various kinds of exhibitions and display strategies, examining the political implications of these strategies and the forms of knowledge they invoke and construct. The collection also discusses alternative exhibition forms, the involvement of some museums with the more spectacular practices of mass media culture, and looks at how museums construct their public.
Author: Janet Holmes
Publisher: OUP USA
ISBN: 0199730741
Category : Business & Economics
Languages : en
Pages : 205
Get Book Here
Book Description
This is the first book in the field of workplace discourse to examine the relationships among leadership, ethnicity, and language use. Taking a social constructionist approach to the ways in which leadership is enacted through discourse, Leadership, Discourse, and Ethnicity problematizes the concept of ethnicity and demonstrates the importance of context-particularly the community of practice-in determining what counts as relevant in the analysis of ethnicity. The authors analyse everyday workplace interactions supplemented by interview data to examine the ways in which workplace leaders use language to achieve their transactional and relational goals in contrasting "ethnicized" contexts, two of which are Maori and two European/Pakeha. Their analysis pays special attention to the roles of ethnic values, beliefs and orientations in talk.
Author: Unesco. International Scientific Committee for the Drafting of a General History of Africa
Publisher: Univ of California Press
ISBN: 9780520067035
Category : History
Languages : en
Pages : 1076
Get Book Here
Book Description
The hardcover edition of volume 8 was published in 1994. This paperback edition is the eighth and final volume to be published in the UNESCO General History of Africa. Volume 8 examines the period from 1935 to the present, and details the role of African states in the Second World War and the rise of postwar Africa. This is one of the most important books in the entire series, and as such, it is an unabridged paperback.
Author: Mathias Broth
Publisher: Routledge
ISBN: 1317916492
Category : Social Science
Languages : en
Pages : 302
Get Book Here
Book Description
The last two decades have seen a rapid increase in the production and consumption of video by both professionals and amateurs. The near ubiquity of devices with video cameras and the rise of sites like YouTube have lead to the growth and transformation of the practices of producing, circulating, and viewing video, whether it be in households, workplaces, or research laboratories. This volume builds a foundation for studies of activities based in and around video production and consumption. It contributes to the interdisciplinary field of visual methodology, investigating how video functions as a resource for a variety of actors and professions.
Author: Donald R. Jansiewicz
Publisher: Addison-Wesley Educational Publishers
ISBN: 9780063733404
Category :
Languages : en
Pages : 108
Get Book Here
Book Description
Author: Claudio Baraldi
Publisher: John Benjamins Publishing
ISBN: 9027224528
Category : Language Arts & Disciplines
Languages : en
Pages : 348
Get Book Here
Book Description
Dialogue interpreting, which takes place in institutional settings such as legal proceedings, healthcare contexts, work meetings or media talk, has attracted increasing attention in translation, language and communication studies. Drawing on transcribed sequences of authentic talk, this volume raises questions about aspects of interpreting that have been taken for granted, challenging preconceived notions about differences between professional and non-professional interpreting and pointing in new directions for future research. Collecting contributions from major scholars in the field of dialogue interpreting and interaction studies, the volume offers new insights into the relationship between interpreting and mediating. It addresses a wide readership, including students and scholars in translation and interpreting studies, mediation and negotiation studies, linguistics, sociology, communication studies, conversation analysis, discourse analysis.
Author: John Coleman De Graft-Johnson
Publisher: Black Classic Press
ISBN: 9780933121034
Category : Social Science
Languages : en
Pages : 240
Get Book Here
Book Description
First published in 1954, a time when few books on African history were written from an African perspective. An intimate history of Africa and its ancient civilizations, the book opposed the stereotyped and often racist histories of Africa. Today, a half century after its initial publication, African Glory still provides a vivid and dynamic connection to the African past.
