• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 6
  • 5
  • 2
  • 1
  • Tagged with
  • 16
  • 16
  • 6
  • 6
  • 6
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 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.
1

Petri nets and their applications

Jin, 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
2

Concerning the Convergence of Some Nets

Shaw, Jack V. 08 1900 (has links)
This thesis discusses the convergence of nets through a series of theorems and proofs.
3

Untersuchungen über kurvennetze ohne umwege ...

Reckers, Otto Anton, January 1910 (has links)
Inaug.-diss.--Münster. / Cover title. Lebenslauf.
4

Untersuchungen über kurvennetze ohne umwege ...

Reckers, Otto Anton, January 1910 (has links)
Inaug.-diss.--Münster. / Cover title. Lebenslauf.
5

Digital nets and sequences for quasi-Monte Carlo methods

Hong, Hee Sun 01 January 2002 (has links)
No description available.
6

The Moore-Smith Limit

Alexander, Donnie B. January 1952 (has links)
It is the purpose of this thesis to indicate in more detail how various limits defined in analysis, as well as other concepts not ordinarily defined as limits, may be obtained as special cases of the Moore-Smith limit.
7

Probability driven heuristic nets

Carter, Lynn Robert 25 July 1974 (has links)
Let a probability driven switch be defined as a switch of three input paths and three output paths. The status of the input paths defines a probability for each output path (as to whether it will generate a signal or not.) One output path is linked to one input path, so the results of the switch at time t can affect the switch at time t+1. A switch so constructed can be defined (by the probabilities) to take on the function of the standard logic gates (AND, OR, …) A net constructed of these switches can be “taught” by “reward” and “punish” algorithms to recognize input patterns. A simulation model showed that a repetitive learning algorithm coupled with a base knowledge (where new patterns are learned while continually checking past learned patterns) gives best results as a function of time. A good measure for the level of stability in response is to notice how many probabilities have converged to one or zero. The larger the number, the more stable the net.
8

Applications of quasi-Monte Carlo methods in model-robust response surface designs

Yue, Rong-xian 01 January 1997 (has links)
No description available.
9

Decidability questions for Petri Nets.

Hack, Michel Henri Théodore January 1976 (has links)
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. / Microfiche copy available in Archives and Engineering. / Vita. / Bibliography: leaves 188-193. / Ph.D.
10

The logic of systems.

Furtek, Frederick Curtis January 1976 (has links)
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. / Microfiche copy available in Archives and Engineering. / Bibliography: p.173-174. / Ph.D.

Page generated in 0.1545 seconds