NDLTD logo NDLTD Union Catalog and Global ETD Search

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 111 for “"Petri nets"”.

  1. Decidability questions for Petri Nets.

    Hack, Michel Henri ThéodoreMassachusetts Institute of Technology1976

    Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

    mit Repository record

  2. Distributed evaluation of stochastic Petri nets

    Bell, AlexanderWarlich2003

    aachen Repository record

  3. Fault Diagnosis for Large Petri Nets

    Jiroveanu, George2006

    ghent Repository record

  4. Fault Diagnosis for Large Petri Nets

    Jiroveanu, G2006

    ghent Repository record

  5. Visual parallel programming via petri nets

    Passey, David Glenn

    … 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 …

    eastern-wash Repository record

  6. Computer aided design for Petri Nets

    Kyratzoglou, I. M. (Ioannis M.)Massachusetts Institute of Technology1987

    Thesis (Mech. E.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1987.

    mit Repository record

  7. Hierarchical supervisory control of complex Petri nets

    Somnath, NishaUniversity of Illinois at Urbana-Champaign2012

    … 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 …

    uiuc Repository record

  8. Performance analysis of Stochastic Timed Petri Nets

    Wiley, Richard PaulMassachusetts Institute of Technology1986

    Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.

    mit Repository record

  9. Model predictive control of timed continuous petri nets

    Zhan, Huaiyu

    … 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 …

    njit Repository record

  10. On the Modeling of Signaling Networks with Petri Nets

    Berestovsky, Natalia SergeevnaRice University2011

    … 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 …

    rice Repository record

  11. Slicing and reduction techniques for model checking Petri nets

    Rakow, AstridUniversität Oldenburg

    … 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 …

    oldenburg Repository record

  12. Analysis of asynchronous concurrent systems by timed petri nets.

    Ramchandani, ChanderMassachusetts Institute of Technology1973

    Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1973. Ph.D.

    mit Repository record

  13. On the generation of organizational architectures using Petri nets

    Remy, Pascal AMassachusetts Institute of Technology1987

    Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.

    mit Repository record

  14. Performance evaluation of decisionmaking organizations using Timed Petri Nets

    Hillion, H. P. (Herve P.)Massachusetts Institute of Technology1986

    Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1986.

    mit Repository record

  15. Ad hoc network security and modeling with stochastic petri nets

    Zhang, Congzhe

    … 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 …

    njit Repository record

  16. Simulation of a low voltage customer microgrid using petri nets

    Mark, Joshua

    … 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 …

    njit Repository record

  17. The Impact of Petri Nets on System-of-Systems Engineering

    Sinclair, Kirsten MhairiDurham University2009

    … 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 …

    durham Repository record

  18. IAT : een tool voor het analyseren van Interval Timed Petri Nets

    van den Heuvel, A.A.P.1991

    eindhoven Repository record

  19. On the symmetry reduction method for Petri nets and similar formalisms

    Junttila, TommiHelsinki University of Technology2003

    … the method. The focus is on systems modeled with Petri nets and similar formalisms, such as the Murφ description language. For place/transition nets, the computational complexity of the sub-tasks involved in the method is established. The problems of finding the symmetries of a net, comparing …

    aalto Repository record

  20. Modeling, monitoring and optimization of discrete event systems using Petri nets

    Yan, Jiaxiang2014

    … 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 …

    iupui Repository record

Page 1 of 6