Log in

Relevant bibliographies by topics / Petri nets – Research – Analysis / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Petri nets – Research – Analysis.

Dissertations / Theses on the topic 'Petri nets – Research – Analysis'

Author: Grafiati

Published: 4 June 2021

Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Petri nets – Research – Analysis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Bowden, Fred D. J. "The modelling and analysis of command and control decision processes using extended time petri nets." Title page, table of contents and abstract only, 2001. http://web4.library.adelaide.edu.au/theses/09PH/09phb784.pdf.

Full text

Abstract:

Bibliography: leaves 177-191. This thesis uses a new type of extended time Petri net to model and analyse command and control decision processes. A comprehensive review of existing time Petri net structures is given. This concludes with the introduction of time Petri net structure that incorporates the most commonly used time structures. This extended time Petri net structure is then used in the definition of the basic modelling blocks required to model command and control decision processes. This basic modelling block forms the basis of the direct analysis techniques that are introduced in th

APA, Harvard, Vancouver, ISO, and other styles

2

Wiley, Richard Paul. "Performance analysis of Stochastic Timed Petri Nets." Thesis, Massachusetts Institute of Technology, 1985. http://hdl.handle.net/1721.1/15002.

Full text

Abstract:

Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING<br>Bibliography: leaves 305-310.<br>by Richard Paul Wiley.<br>Sc.D.

APA, Harvard, Vancouver, ISO, and other styles

3

Fu, Mo. "An analytic model for agent systems with Petri nets." Diss., The University of Arizona, 2003. http://hdl.handle.net/10150/289933.

Full text

Abstract:

The agent system specification, the agent system implementation and the agent system verification are three essential issues to build an agent system. Many works have been done for the first two issues in recent years. However, as a result of a lack in formal agent modeling techniques, little effort has been made to address the verification issue, which impedes the agent technique a smooth transition from the research lab to the desk of everyday computer engineers. Motivated by this fact and its significance, it is our objective in this dissertation to establish a systematic method for modelin

APA, Harvard, Vancouver, ISO, and other styles

4

Li, Yao Carleton University Dissertation Engineering Electrical. "The harmony operating system described by Petri Nets." Ottawa, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Grecco, Albert J. "AdaFlow: the automation of software analysis using Petri Nets." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/22853.

Full text

Abstract:

There is considerable interest in the development of Ada-based, automated software tools to aid in the development and testing of embedded, real-time software. The Naval Postgraduate School has already implemented automated Ada metric tools at the request of the Naval Weapons Center, China Lake. This thesis is the preliminary work for a new automated software analysis tool entitled AdaFlow. This tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. This Petri net model provides the user with the capability to perform automated, interac

APA, Harvard, Vancouver, ISO, and other styles

6

Santini, Marie. "Analysis of asynchronous iterative algorithms using timed Petri nets." Thesis, University of Salford, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360405.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Han, Yangdong. "Automated security analysis of Internet protocols using coloured Petri nets." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq55908.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Jiffry, Mustafa Abdulrahman. "Petri nets approach for the analysis of MASCOT interprocess communications." Thesis, King's College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.324637.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Liu, Su. "Formal Modeling and Analysis Techniques for High Level Petri Nets." FIU Digital Commons, 2014. http://digitalcommons.fiu.edu/etd/1522.

Full text

Abstract:

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs

APA, Harvard, Vancouver, ISO, and other styles

10

Aeschliman, Ryan. "Modeling and analysis of telemental health systems with Petri nets." Thesis, Kansas State University, 2015. http://hdl.handle.net/2097/19163.

Full text

Abstract:

Master of Science<br>Industrial & Manufacturing Systems Engineering<br>David H. Ben-Arieh<br>Telemental health systems, a form of telemedicine, use electronic communication media to provide patients in remote locations access to psychological and psychiatric specialists. The structure of telemental health systems has a major impact on their performance. Discrete-event simulations offer useful results concerning capacities and utilization of specific resources. Simulation, however, cannot provide theoretical properties of analyzed systems. Petri net representations of systems can overcome this

APA, Harvard, Vancouver, ISO, and other styles

11

Park, Jonghun. "Structural analysis and control of resource allocation systems using petri nets." Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/24529.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Alexin, Johann [Verfasser]. "Ageing notions in the analysis of stochastic Petri nets / Johann Alexin." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013. http://d-nb.info/1041805403/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Edwards, Kim. "Cryptographic protocol specification and analysis using coloured Petri nets and Java." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0006/MQ36026.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Shen, Yuanyuan. "Exploiting timed coloured Petri nets in control and analysis of Graphplan." Thesis, Liverpool John Moores University, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.431272.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Davies, Ian. "Symbolic techniques for the performance analysis of generalised stochastic petri nets." Master's thesis, University of Cape Town, 2001. http://hdl.handle.net/11427/6389.

Full text

Abstract:

Includes abstract Thesis (M.Sc. (Computer Science))-- University of Cape Town, 2001.<br>Includes bibliographical references.<br>Binary Decision Diagrams (BDDs) have been successfully used in sequential circuit theory, VLSI, and model checking. They form a highly memory efficient canonical representation of a Boolean function. In this dissertation, following on the success of BDDs in other fields, we investiage the applicability of symbolic techniques in the performance analysis of timed transition systems, particularly those of Generalised Stochastic Petri Nets (GSPNs). We make use of symbolic

APA, Harvard, Vancouver, ISO, and other styles

16

Suciu, Floarea. "Performance analysis of timed Petri nets by decomposition of the state space." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0028/MQ34234.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Tabacchi, Peter J. "Analysis of engineer C2 as modeled by stochastic, timed attributed Petri Nets." Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA238339.

Full text

Abstract:

Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 1990.<br>Thesis Advisor(s): Caldwell, William J. ; Read, Robert R. Second Reader: Whitaker, Lyn R. "September 1990." Description based on title screen as viewed on December 21, 2009. DTIC Identifier(s): Command And Control Systems, Timed Petri Nets, Attributed Petri Nets, Land Warfare, Thesis. Author(s) subject terms: Land Warfare, Military Planning, Military Science, Petri Nets, Command and Control, Combat Engineers. Includes bibliographical references (p. 80). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

18

Rugina, Ana-Elena. "Dependability modeling and evaluation – From AADL to stochastic Petri nets." Phd thesis, Toulouse, INPT, 2007. http://oatao.univ-toulouse.fr/7649/1/rugina.pdf.

Full text

Abstract:

Performing dependability evaluation along with other analyses at architectural level allows both predicting the effects of architectural decisions on the dependability of a system and making tradeoffs. Thus, both industry and academia focus on defining model driven engineering (MDE) approaches and on integrating several analyses in the development process. AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling and is considered by industry in the context presented above. Our contribution is a modeling framework allowing the generation of dependab

APA, Harvard, Vancouver, ISO, and other styles

19

Kadim, H. J. "Petri nets approach to test generation and analysis of hierarchically described digital circuits." Thesis, University of Hull, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387155.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Pong, Lih. "Formal data flow diagrams (FDFD) : a petri-net based requirements specification language /." [Hong Kong : University of Hong Kong], 1985. http://sunzi.lib.hku.hk/hkuto/record.jsp?B12323019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Seo, Dong-Won. "Performance analysis of queueing networks via Taylor series expansions." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/25098.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Pong, Lih, and 龐立. "Formal data flow diagrams (FDFD): a petri-netbased requirements specification language." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1985. http://hub.hku.hk/bib/B31207406.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Li, Man. "Applying decomposition and aggregation theory to the analysis of stochastic Petri nets and queueing networks." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7893.

Full text

Abstract:

In this thesis, a class of Stochastic Petri Nets, called Local Balance Stochastic Petri Nets, and a class of queuing networks, called product form queueing networks are investigated. The parametric analysis of Stochastic Petri Nets in general is also studied. The major analysis tool used in this thesis is the Simon and Ando's Decomposition and Aggregation theory. Local Balance Stochastic Petri Nets have the property that their equilibrium state probability distributions have product form solutions. In this thesis, we extend the boundary of the Local Balance Stochastic Petri Nets, propose a sys

APA, Harvard, Vancouver, ISO, and other styles

24

Settenvini, Matteo. "Algorithmic Analysis of Name-Bounded Programs : From Java programs to Petri Nets via π-calculus". Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3112.

Full text

Abstract:

Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. In this study we investigate the difficulties of giving a representation of computer programs in a name-bounded variation of π-calculus. Methods. A preliminary literature review is conducted to assess the presence (or lack thereof) of other successful translations from real-world programming lang

APA, Harvard, Vancouver, ISO, and other styles

25

Rohr, Christian [Verfasser], Monika [Gutachter] Heiner, Wolfgang [Gutachter] Marwan, and David [Gutachter] Gilbert. "Simulative analysis of coloured extended stochastic Petri nets / Christian Rohr ; Gutachter: Monika Heiner, Wolfgang Marwan, David Gilbert." Cottbus : BTU Cottbus - Senftenberg, 2017. http://d-nb.info/1127580922/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Schwarick, Martin [Verfasser], Monika [Akademischer Betreuer] Heiner, Susanna [Akademischer Betreuer] Donatelli, and Peter [Akademischer Betreuer] Kemper. "Symbolic on-the-fly analysis of stochastic Petri nets / Martin Schwarick ; Monika Heiner, Susanna Donatelli, Peter Kemper." Cottbus : BTU Cottbus - Senftenberg, 2014. http://d-nb.info/111428291X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Song, Haifeng [Verfasser]. "Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets / Haifeng Song." Düren : Shaker, 2019. http://d-nb.info/1190525542/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Luo, Xu. "Power system fault analysis based on intelligent techniques and intelligent electronic device data." Texas A&M University, 2003. http://hdl.handle.net/1969.1/5797.

Full text

Abstract:

This dissertation has focused on automated power system fault analysis. New contributions to fault section estimation, protection system performance evaluation and power system/protection system interactive simulation have been achieved. Intelligent techniques including expert systems, fuzzy logic and Petri-nets, as well as data from remote terminal units (RTUs) of supervisory control and data acquisition (SCADA) systems, and digital protective relays have been explored and utilized to fufill the objectives. The task of fault section estimation is difficult when multiple faults, failures of pr

APA, Harvard, Vancouver, ISO, and other styles

29

Tamarit, Muñoz Salvador. "Analysis Techniques for Concurrent Programming Languages." Doctoral thesis, Universitat Politècnica de València, 2013. http://hdl.handle.net/10251/31651.

Full text

Abstract:

Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad, tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas y su arquitectura interna, cabe esperar que este hecho siga siendo una realidad en los pr oximos a~nos. En este contexto, el desarrollo de herramientas de apoyo al desarrollo de programas concurrentes se vuelve esencial. Adem as, el comportamiento de los sistemas concurrentes es especialmente dif cil de analizar, por lo que cualquier herramienta que ayude en esta tarea,

APA, Harvard, Vancouver, ISO, and other styles

30

Seppänen, Veikko. "Competence change in contract R & D : analysis of project nets /." Espoo [Finland] : Technical Research Centre of Finland, 2000. http://www.vtt.fi/inf/pdf/publications/2000/P418.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Habib, Zadeh Esmaeil. "Modelling and Quantitative Analysis of Performance vs Security Trade-offs in Computer Networks: An investigation into the modelling and discrete-event simulation analysis of performance vs security trade-offs in computer networks, based on combined metrics and stochastic activity networks (SANs)." Thesis, University of Bradford, 2017. http://hdl.handle.net/10454/17412.

Full text

Abstract:

Performance modelling and evaluation has long been considered of paramount importance to computer networks from design through development, tuning and upgrading. These networks, however, have evolved significantly since their first introduction a few decades ago. The Ubiquitous Web in particular with fast-emerging unprecedented services has become an integral part of everyday life. However, this all is coming at the cost of substantially increased security risks. Hence cybercrime is now a pervasive threat for today’s internet-dependent societies. Given the frequency and variety of attac

APA, Harvard, Vancouver, ISO, and other styles

32

Song, Haifeng Verfasser], and Eckehard [Akademischer Betreuer] [Schnieder. "Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets / Haifeng Song ; Betreuer: Eckehard Schnieder." Braunschweig : Technische Universität Braunschweig, 2018. http://d-nb.info/1175814911/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

de, Carvalho Gomes Pedro. "Automatic Extraction of Program Models for Formal Software Verification." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-176286.

Full text

Abstract:

In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties.The first part presents an algorithm for the extraction of control flow graphs from sequential Java bytecode programs. The graphs are tailored for a compositional technique for the verification of temporal control flow safety properties. We prove t

APA, Harvard, Vancouver, ISO, and other styles

34

Netto, Guilherme Tomaschewski. "LEMMA 2000 - Uma linguagem para análise e representação de protocolos para diagnósticos em Medicina." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2007. http://hdl.handle.net/10183/12009.

Full text

Abstract:

A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a

APA, Harvard, Vancouver, ISO, and other styles

35

Oliveira, Ítalo Romani de. "Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-164233/.

Full text

Abstract:

A segurança do espaço aéreo pode aumentar consideravelmente com o uso de operações de espaçamento e separação aerotransportados. Sob este paradigma, a tarefa de manter distância em relação a outras aeronaves é delegada aos pilotos, que contarão com o Sistema de Assistência de Separação Aerotransportado (ASAS). Com este sistema, ainda em fase experimental, os pilotos tornam-se cientes dos riscos do tráfego circundante com até 15 minutos de antecedência, sem necessitar de auxílio dos controladores de tráfego aéreo. Esta antecedência é muito maior que a do atual sistema anti-colisão (TCAS), que é

APA, Harvard, Vancouver, ISO, and other styles

36

Gao, Qian. "A systems biology approach to multi-scale modelling and analysis of planar cell polarity in Drosophila melanogaster wing." Thesis, Brunel University, 2013. http://bura.brunel.ac.uk/handle/2438/7478.

Full text

Abstract:

Systems biology aims to describe and understand biology at a global scale where biological systems function as a result of complex mechanisms that happen at several scales. Modelling and simulation are computational tools that are invaluable for description, understanding and prediction these mechanisms in a quantitative and integrative way. Thus multi-scale methods that couple the design, simulation and analysis of models spanning several spatial and temporal scales is becoming a new emerging focus of systems biology. This thesis uses an exemplar – Planar cell polarity (PCP) signalling – to i

APA, Harvard, Vancouver, ISO, and other styles

37

Kluth, Stephan. "Quantitative modeling and analysis with FMC-QE." Phd thesis, Universität Potsdam, 2011. http://opus.kobv.de/ubp/volltexte/2011/5298/.

Full text

Abstract:

The modeling and evaluation calculus FMC-QE, the Fundamental Modeling Concepts for Quanti-tative Evaluation [1], extends the Fundamental Modeling Concepts (FMC) for performance modeling and prediction. In this new methodology, the hierarchical service requests are in the main focus, because they are the origin of every service provisioning process. Similar to physics, these service requests are a tuple of value and unit, which enables hierarchical service request transformations at the hierarchical borders and therefore the hierarchical modeling. Through reducing the model complexity of the mo

APA, Harvard, Vancouver, ISO, and other styles

38

Mahmood, Imran. "A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”." Doctoral thesis, KTH, Programvaruteknik och Datorsystem, SCS, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-116678.

Full text

Abstract:

The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. It however is confronted by a series of research challenges when it comes to actually practice this methodology. One of such important issue is Composability verification. In modeling and simulation (M&S), composability is the capability to select and assemble components in various combin

APA, Harvard, Vancouver, ISO, and other styles

39

Leroux, Hélène. "Méthodologie de conception d'architectures numériques complexes : du formalisme à l’implémentation en passant par l'analyse, préservation de la conformité. Application aux neuroprothèses." Thesis, Montpellier 2, 2014. http://www.theses.fr/2014MON20163/document.

Full text

Abstract:

Dans ce mémoire, la conception de systèmes numériques complexes, et notamment de systèmes embarqués critiques, est abordée au travers d'une méthodologie allant de la modélisation formelle à l'implantation sur FPGA : la méthodologie HILECOP. Celle-ci offre au concepteur la possibilité de représenter dans un modèle formel d'une part l'architecture du système selon un assemblage de composants, et d'autre part le comportement de ces composants et leur composition par réseaux de Petri temporels. Le modèle décrit est ensuite transformé automatiquement en un modèle implémentable (en langage VHDL) pou

APA, Harvard, Vancouver, ISO, and other styles

40

Avellaneda, Florent. "Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4087/document.

Full text

Abstract:

Les MSG (pour « Message Sequence Graphs ») sont un formalisme bien connu et souvent utilisé pour décrire des ensembles de scénarios de manière visuelle dans le domaine des protocoles de communication. Nous nous intéressons dans la première partie de la thèse à la détection de la divergence, la vérification de la coopération globale ainsi que la vérification de propriétés d’accessibilité et de couverture. Notre première contribution consiste à utiliser des solveurs SAT afin de résoudre ces problèmes efficacement. Afin de munir le formalisme des MSG de compteurs, de timers et d’autres aspects, n

APA, Harvard, Vancouver, ISO, and other styles

41

Yaqub, Omar Seddeq Omar. "Modeling, Analysis, and Simulation of Two Connected Intersections Using Discrete and Hybrid Petri Nets." 2014. http://hdl.handle.net/1805/3873.

Full text

Abstract:

Indiana University-Purdue University Indianapolis (IUPUI)<br>In recent decades, Petri nets (PNs) have been used to model traffic networks for different purposes, such as signal phase control, routing, and traffic flow estimation, etc. Because of the complex nature of traffic networks where both discrete and continuous dynamics come into play, the Hybrid Petri net (HPN) model becomes an important tool for the modeling and analysis of traffic networks. In Chapter 1 a brief historical summery about traffic systems control and then related work is mentioned followed by the major contributions in t

APA, Harvard, Vancouver, ISO, and other styles

42

Ramesh, Keerthanaa. "MODELING AND SIMULATION OF AN AUTOMATED PARALLEL PARKING SYSTEM USING HYBRID PETRI NETS." Thesis, 2015. http://hdl.handle.net/1805/9746.

Full text

Abstract:

Indiana University-Purdue University Indianapolis (IUPUI)<br>In recent years, there have been a lot of technology innovations to automate the day to day processes done by every person. These days the automobile manufacturers introduce new features in their cars, in order to improve customer experience, like Adaptive cruise control, Parallel park assist, etc. The objective of this thesis is to model an automated parallel parking system and to simulate the system behavior, by taking into account the high level events which happen when a car is parallel parked. The tool used in this thesis to mod

APA, Harvard, Vancouver, ISO, and other styles

43

Yan, Jiaxiang. "Modeling, monitoring and optimization of discrete event systems using Petri nets." 2014. http://hdl.handle.net/1805/3874.

Full text

Abstract:

Indiana University-Purdue University Indianapolis (IUPUI)<br>Yan, Jiaxiang. M.S.E.C.E., Purdue University, May 2013. Modeling, Monitoring 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 conventional control strategies with discrete decision-making processes which simulate human decision-making processes. Due to the scale and complexity of common DESs, the

APA, Harvard, Vancouver, ISO, and other styles

44

JIAN, WEI-DE, and 簡瑋德. "A application of Timed Petri Net theory to the analysis of innovation research and development process for LED projection light and the corresponding assembling process." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/10440526165973737069.

Full text

Abstract:

碩士<br>國立臺灣科技大學<br>機械工程系<br>104<br>The paper combines Petri net information flow with timed Petri net theory and Petri net dataflow calculation to establish a design and manufacturing process model for innovative research and development (R&D) process of LED projection light, which estimates the design and assembling time for integration of information transmission concept, calculation data and time parameters. The paper also adds the function of manufacturing lead time process planning to the assembling process model, preventing the subsequent manufacturing process from making any unnecessary

APA, Harvard, Vancouver, ISO, and other styles

45

陳玟璇. "Research of Web Services Using Petri Nets." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/19763301853865050427.

Full text

Abstract:

碩士<br>國立臺灣海洋大學<br>電機工程學系<br>100<br>The development of software must be effective for a given period of time in business process. In the analysis stage of Software Development Life Cycle, we have to understand users’ requests thoroughly. Therefore, in order to improve the accuracy and smooth going for software architecture, this study proposes a new way to analyze business process by simulating models. Also, it is helpful that a software function can achieve the result as we expect. As human know the software modeling tool, such as Data Flow Graph, Unified Modeling Language and Business Process

APA, Harvard, Vancouver, ISO, and other styles

46

Chen, Liang-Ting, and 陳亮廷. "Analysis of workflow with timed Petri-Nets." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/93012200507703378444.

Full text

Abstract:

碩士<br>朝陽科技大學<br>資訊工程系碩士班<br>97<br>Workflow management has been recognized as a significant issue to the success of an enterprise. How to estimate whether the workflow solution proposed by the partners can meet the due date or schedule of an order is critical for a company to make the right decision. The objective of this paper is to develop a computationally efficient algorithm to analyze the timing of workflows. As pointed out by many studies, the Petri net is able to fully express the configuration of workflows and solve the complicated timing analysis problems. We propose an algorithm to co

APA, Harvard, Vancouver, ISO, and other styles

47

CHIN, SHAO-CHI, and 秦紹祁. "Analysis of Resource Management via Timed Petri Nets." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/05156700229575052101.

Full text

Abstract:

碩士<br>國立臺灣大學<br>電機工程學研究所<br>90<br>Distributed environments are often characterized by distributed management and distributed ownership. Distributed management introduces resource heterogeneity--- not only the set of available resources, but even the set of resource types is constantly changing. Distributed ownership introduces policy heterogeneity--- each resource may have its own idiosyncratic allocation policy. Difficulties such as the distributed ownership, the resource failure, the heterogeneity, and the evolution are exposed when dealing with distributed environments. In order to solv

APA, Harvard, Vancouver, ISO, and other styles

48

Peng, Mao-Yu, and 彭茂裕. "A Study of Property Analysis in Petri Nets." Thesis, 1997. http://ndltd.ncl.edu.tw/handle/48927193171576022077.

Full text

Abstract:

碩士<br>國立海洋大學<br>電機工程學系<br>85<br>This thesis is divided into three parts: an augmented reachability tree (ART), a new algorithm for finding minimal siphons and traps, and a class of nets, called process nets with resources (PNRs). An augmented reachability tree (ART) extends the ability of the classical reachability tree for solving the liveness problem of a class of Petri nets where there exists at most one unbounded place. The idea is based on the computation of the minimal token numbe

APA, Harvard, Vancouver, ISO, and other styles

49

Chiou, Ship-Bin, and 邱錫斌. "Failure Analysis in Reliability Engineering Using Petri Nets." Thesis, 1995. http://ndltd.ncl.edu.tw/handle/58035277168932789402.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Chanq-Feng, Liang, and 梁慶豐. "Analysis of Consistency Problems on Petri Nets Systems." Thesis, 1993. http://ndltd.ncl.edu.tw/handle/53746508400774120421.

Full text

Abstract:

碩士<br>國立臺灣科技大學<br>工程技術研究所<br>81<br>Recently, Petri nets is an important and popular tool for system modeling . In this thesis, the consistency problems of the systems modeled by Petri nets will be disscussed . First, the structure and properties of Petri nets and some modeling examples are described. Then, for systems modeled by Petri nets graph , four kinds of structural anomaly, including dead-end nodes, unreachable nodes, looping, and conflict are explored. Finally, for time-dependent sy

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!