- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 21 to 30 of 890 (0.011 seconds)| 21 |
Petri nets and their applicationsJin, Wei January 1991 (has links)
Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in the study of asynchronous concurrent systems. The liveness and reachability problems are considered to be some of the major problems in Petri net theory.Since the structure of a Petri net can be regarded as sets of places and transitions form a graphical point of view, this thesis is concerned with utilizing the results of graph theory to investigate the liveness in terms of deadlock problems of a special subclass of Petri nets, free-choice Petri nets. As a subclass of Petri nets, the class of free-choice Petri nets possesse relatively strong analysis properties. This is especially true of complete free-choice Petri nets. We show in particular that any system which can be modeled by a general Petri net can also be modeled by a free-choice Petri net. / Department of Computer Science
|
| 22 |
Automated translation of dynamic programming problems to Java code and their solution via an intermediate Petri net representationMauch, Holger January 2005 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 2005. / Includes bibliographical references (leaves 197-202). / Also available by subscription via World Wide Web / xi, 202 leaves, bound ill. 29 cm
|
| 23 |
Modelling and analysis of railway network control logic using coloured petri netsJanczura, Chris January 1998 (has links)
Thesis (PhD)--University of South Australia, 1998
|
| 24 |
Modelling and analysis of railway network control logic using coloured petri netsJanczura, Chris January 1998 (has links)
Thesis (PhD)--University of South Australia, 1998
|
| 25 |
Automated translation of dynamic programming problems to Java code and their solution via an intermediate Petri net representationMauch, Holger. January 2005 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 2005. / Includes bibliographical references (leaves 197-202).
|
| 26 |
Den Suveräne Guden : en studie i Olavus Petris teologi /Gardemeister, Christer. January 1989 (has links)
Akademisk avhandling--Teologi--Lund, 1989.
|
| 27 |
Gestion hiérarchisée de systèmes de production discrets : une approche basée sur les réseaux de Petri /Wang, Liming. January 1900 (has links)
Th. doct.--Sci. de l'ingénieur--Metz, 1995. / 1996 d'après la déclaration de dépôt légal. Contient des textes en anglais. Bibliogr. p. 145-155. Index. Résumé en anglais et en français.
|
| 28 |
Conception préliminaire des systèmes de production à l'aide des réseaux de Petri : évaluation des performances /Savi, Vânio Murilo. January 1900 (has links)
Th. univ.--Sci. de l'ingénieur--Metz, 1994. / 1994 d'après la déclaration du dépôt légal. Résumé en français et en anglais. Bibliogr. p. 145-149.
|
| 29 |
Historieskrivaren Olaus Petri Svenska krönikans källor och krönikeförfattarens metod.Westin, Gunnar Torwald, January 1946 (has links)
Akademisk avhandling--Lund. / Extra t.p. with thesis statement inserted. Bibliography: p. [xii]-xxv.
|
| 30 |
Multiagenten PlanmodellierungOttenbacher, Heiko. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
|
Page generated in 0.015 seconds