Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 103 for “"Petri nets"”.
-
Decidability questions for Petri Nets.
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
-
Visual parallel programming via petri nets
… the feasibility and produceability of a Petri net based CASE tool, thus the majority of this paper is the implementation and explanation thereof. The requirements of this implementation are as follows: a. Graphical input and manipulation of a Petri net. b. The generation of a formal …
-
Computer aided design for Petri Nets
Thesis (Mech. E.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1987.
-
Hierarchical supervisory control of complex Petri nets
… in large complex systems that are modeled using Petri nets. The supervisory policy, when it exists, prevents the occurrence of certain events (i.e. activities) at specific states in such a way that the supervised system is livelock free. A hierarchical approach is used to find a supervisory …
-
Performance analysis of Stochastic Timed Petri Nets
Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.
-
Model predictive control of timed continuous petri nets
… the optimal control problem of timed continuous Petri nets. The theory of Model Predictive Control (MPC) is first discussed. Then continuous Petri nets (PN) are introduced as a powerful tool for modelling, simulation and analysis of discrete event/continuous systems. Their useful capabilities are …
-
Slicing and reduction techniques for model checking Petri nets
… Arbeit werden zwei Reduktionsansätze für Petri-Netze vorgestellt, Petri-Netz Slicing und Cutvertex Reduktionen. Beide Ansätze zielen darauf ab, der Zustandsraumexplosion beim Model Checken entgegenzuwirken. Dazu transformieren sie ein gegebenes Petri-Netz in ein kleineres Netz, so dass …
-
On the Modeling of Signaling Networks with Petri Nets
… the inner-cell interactions motivates the use of Petri nets as a framework for the whole-cell modeling. Petri nets have been successfully used in modeling of metabolic pathways, as it allows for a straightforward mapping from its stoichiometric matrix to the Petri net structure. The Boolean …
-
Analysis of asynchronous concurrent systems by timed petri nets.
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1973. Ph.D.
-
On the generation of organizational architectures using Petri nets
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.
-
Performance evaluation of decisionmaking organizations using Timed Petri Nets
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1986.
-
Ad hoc network security and modeling with stochastic petri nets
… expressions. This research presents a Stochastic Petri net-based approach to modeling and analysis of mobile ad hoc network. This work illustrates how this model is built as a scalable model and used to exploit the characteristics of the networks. The proposed scheme is a powerful analytical model …
-
Simulation of a low voltage customer microgrid using petri nets
… This thesis work presents mathematical models of Petri Nets for the simulation of a low voltage customer Microgrid. Using previous work created in this specific field, a Hybrid Petri Net is modified such that it consists of multiple distributed generators, storage, and the utility which is …
-
The Impact of Petri Nets on System-of-Systems Engineering
… and analyse system-of-systems 2. Determining how Petri nets can be used to improve the specification and analysis of the dynamic model of a system-of-systems specified using UML This thesis presents the strengths and weaknesses of Petri nets in relation to the specification of system-of-systems …
-
Modeling, monitoring and optimization of discrete event systems using Petri nets
… and Optimization of Discrete Event Systems Using Petri Nets. Major Professor: Lingxi Li. In last decades, the research of discrete event systems (DESs) has attracts more and more attention because of the fast development of intelligent control strategies. Such control measures combine the …
-
Disjunctive normal formula based supervisory control policy for general Petri nets
A Petri net (PN) is said to be live if it is possible to re any transition, although not immediately, from every reachable marking. A liveness enforcing supervisory policy (LESP) determines which controllable transition is to be prevented from ring at a marking, to ensure the supervised Petri net …
-
Symbolic techniques for the performance analysis of generalised stochastic petri nets
… particularly those of Generalised Stochastic Petri Nets (GSPNs). We make use of symbolic methods, where states are represented implicitly rather than explicitly, primarily to conserve memory during the state space exploration process - a necessary step in the performance analysis pipeline. We …
Page 1 of 6