Bibliografías temáticas / Stochatic Time Petri Net / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Stochatic Time Petri Net.

Tesis sobre el tema "Stochatic Time Petri Net"

Autor: Grafiati
Publicado: 10 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Stochatic Time Petri Net".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Rau, de Almeida Callou Gustavo. "Energy consumption and execution time estimation of embedded system applications." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1877.

Texto completo
Resumen
Made available in DSpace on 2014-06-12T15:52:55Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Nos últimos anos, a redução do consumo de energia das aplicações dos sistemas embarcados tem recebido uma grande atenção da comunidade científica, visto que, como o tempo de resposta e o baixo consumo de energia são requisitos conflitantes, esses estudos tornam-se altamente necessários. Nesse contexto, é proposta uma metodologia aplicada nas fases iniciais de projeto para dar suporte às decisões relativas ao co
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Rogge-Solti, Andreas, Laura Vana, and Jan Mendling. "Time Series Petri Net Models - Enrichment and Prediction." CEUR Workshop Proceedings, 2015. http://epub.wu.ac.at/5394/1/paper8.pdf.

Texto completo
Resumen
Operational support as an area of process mining aims to predict the temporal performance of individual cases and the overall business process. Although seasonal effects, delays and performance trends are well-known to exist for business processes, there is up until now no prediction model available that explicitly captures this. In this paper, we introduce time series Petri net models. These models integrate the control flow perspective of Petri nets with time series prediction. Our evaluation on the basis of our prototypical implementation demonstrates the merits of this model in term
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Cortés, Luis Alejandro. "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems." Licentiate thesis, Linköping University, Linköping University, ESLAB - Embedded Systems Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5751.

Texto completo
Resumen
<p>Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.</p><p>In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.</p><p>First, we define a formal model of computation for real-time embedded systems based on Petri nets. Our model can capture important features of such systems and allows thei
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Xia, Fei. "Supporting the MASCOT method with Petri net techniques for real-time systems development." Thesis, King's College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325515.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

TAVARES, Eduardo Antônio Guimarães. "A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors." Universidade Federal de Pernambuco, 2006. https://repositorio.ufpe.br/handle/123456789/2589.

Texto completo
Resumen
Made available in DSpace on 2014-06-12T15:59:31Z (GMT). No. of bitstreams: 2 arquivo5135_1.pdf: 1049051 bytes, checksum: e5be25e2aa87cb17b0788411f129a4a8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006<br>Atualmente, sistemas embarcados são ubíquos. Em outras palavras, eles estão em todos os lugares. Desde utilitários domésticos (ex: fornos microondas, refrigeradores, videocassetes, máquinas de fax, máquinas de lavar roupa, alarmes) até equipamentos militares (ex: mísseis guiados, satélites espiões, sondas espaciais, aeronaves), nó
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Aghanoori, Navid. "Real-time Power Management of Renewable Microgrid based on IEC 61850 Communication Protocol Using Adaptive Intelligent Petri Net." Thesis, Curtin University, 2020. http://hdl.handle.net/20.500.11937/79919.

Texto completo
Resumen
My personal interest and practical experience in renewable industry encouraged me to study my PhD in relation to the cascaded interaction of the microgrid power management, the stability of microgrid and the communication delays within microgrid’s control system. This PhD proposes a real-time power management platform equipped with an adaptive intelligent Petri Net and a new data class of IEC 61850 standard to optimise the cost of microgrid operation while maintaining its stability.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Baldellon, Olivier. "Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel." Phd thesis, Toulouse, INPT, 2014. http://oatao.univ-toulouse.fr/13299/1/baldellon.pdf.

Texto completo
Resumen
Les systèmes actuels deviennent chaque jour de plus en plus complexe; à la distribution s’ajoutent les contraintes temps réel. Les méthodes classiques en charge de garantir la sûreté de fonctionnement, comme le test, l’injection de fautes ou les méthodes formelles ne sont plus suffisantes à elles seules. Afin de pouvoir traiter les éventuelles erreurs lors de leur apparition dans un système distribué donné, nous désirons mettre en place un programme, surveillant ce système, capable de lancer une alerte lorsque ce dernier s’éloigne de ses spécifications ; un tel programme est appelé superviseur
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Ďuriš, Anton. "Simulace distribuovaných systémů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-442811.

Texto completo
Resumen
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Zhang, Yingying. "Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems." Scholar Commons, 2013. http://scholarcommons.usf.edu/etd/4622.

Texto completo
Resumen
This thesis presents a framework to verify asynchronous real-time systems based on model checking. These systems are modeled by using a common modeling formalism named Labeled Petri-nets(LPNs). In order to verify the real-time systems algorithmically, the zone-based timing analysis method is used for LPNs. It searches the state space with timing information (represented by zones). When there is a high degree of concurrency in the model, firing concurrent enabled transitions in different order may result in different zones, and these zones may be combined without affecting the verification resu
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Bourdil, Pierre-Alain. "Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels." Thesis, Toulouse, INSA, 2015. http://www.theses.fr/2015ISAT0041/document.

Texto completo
Resumen
Cette thèse traite de la vérification formelle de systèmes critiques où la correction du système dépend du respect des contraintes temporelles. La première partie étudie la modélisation et la vérification formelle par model-checking de systèmes temps réel dans le contexte de l’industrie aéronautique et spatiale. La deuxième partie décrit notre méthode d’exploitation des symétries pour les réseaux de Petri temporels. Nous définissons un opérateur de composition symétrique pour la construction de réseaux. Puis nous proposons des solutions pour la construction d’espaces d’états quotients par la r
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Masiero, Alessandro. "The role of time in biological systems: a computational analysis ranging from molecular dynamics to biological network simulations." Doctoral thesis, Università degli studi di Padova, 2015. http://hdl.handle.net/11577/3424021.

Texto completo
Resumen
Time is the main character of this thesis, and it has been used in many ways. Starting from molecular dynamics simulations to biological networks, time has been analysed under different light and roles. The main subjects characterizing this work are Von Hippel-Lindau syndrome and circadian rhythm, although a method for molecular dynamics simulations trajectory analysis is presented at the end. Several works are presented here, analysing different aspects of protein dynamics as well as pathway alterations depending on the time coordinate. The first work analyses the interaction between protein
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Zenié, Alexandre. "Les reseaux de petri stochastiques colores : application a l'analyse des systemes repartis en temps reel." Paris 6, 1987. http://www.theses.fr/1987PA066672.

Texto completo
Resumen
Application de la theorie des reseaux de petri stochastiques colores a l'analyse de certains problemes lies aux systemes repartis en temps reel (controle reparti, prevention d'interblocage, bases de donnees reparties, messagerie, interconnexions et acces aux reseaux locaux). Ces applications ont ete possibles grace au developpement d'un logiciel, applicable aux modeles markoviens
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Hefka, Lukáš. "Plánování a rozvrhování." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2009. http://www.nusl.cz/ntk/nusl-236744.

Texto completo
Resumen
This thesis deals with optimization problems of planning and scheduling. There are using genetic algorithms which are inspired by evolution process. Main work is familiar with the problem of planning and scheduling, genetic algorithm and Petri nets. This knowledge was used to create applications that would with the use of genetic algorithms was able to solve planning problems and the resulting plans would be represented the Time Petri Net. In conclusion of the this thesis are presented obtained results and examples of field use.
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Rocha, Loures de Freitas Eduardo. "Surveillance et diagnostic des phases transitoires des systèmes hybrides basés sur l'abstraction des dynamiques continues par réseau de Pétri temporel flou." Toulouse 3, 2005. http://www.theses.fr/2006TOU30022.

Texto completo
Resumen
Les systèmes de surveillance et de supervision jouent un rôle majeur pour la sécurité des installations industrielles et la disponibilité des équipements. Signaler le plus tôt possible à l'opérateur les écarts détectés par rapport au comportement nominal prévu est fondamental pour la mise en œuvre des actions préventives et correctives sur le procédé. Certains types d'installations tels que les procédés chimiques et de traitement par lots (batch systems) présentent une grande complexité pour la commande/surveillance en raison de leur caractère hybride (aspects continus et discrets étroitement
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

M'halla, Anis. "Contribution à la gestion des perturbations dans les systèmes manufacturiers à contraintes de temps." Thesis, Ecole centrale de Lille, 2010. http://www.theses.fr/2010ECLI0008/document.

Texto completo
Resumen
Les travaux proposés dans cette thèse s’intéressent à la commande et la surveillance d’une classe particulière de systèmes de production : les systèmes manufacturiers à contraintes de temps de séjour. Nous supposons dans l'étude que les ressources ont déjà été affectées et que l'ordre des opérations est déjà fixé par le module de planification/ordonnancement. Les hypothèses de fonctionnement répétitif avec et sans postes d'assemblage sont adoptées. De manière assez classique pour ce type de problématique, le formalisme utilisé est celui des Réseaux de Petri P-temporels pour l'étude des instant
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Ould-Kaddour, Nacéra. "Un outil pour le prototypage des systemes temps reel : le communicateur et son implementation." Toulouse 3, 1988. http://www.theses.fr/1988TOU30095.

Texto completo
Resumen
Les methodes de specification de la commande temps reel sont d'abord exposees. Les differents concepts, formalismes et modeles de communication et synchronisation sont discutes. Une approche basee reseaux de petri est proposee pour la specification entre taches. Une methodologie pour le prototypage des systemes temps reel est proposee, deux contributions etant developpees
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Nolibé, Gilles. "Developpement d'une methodologie de determination d'operateurs de calcul specifiques dans des problemes d'identification et d'estimation en temps reel." Toulon, 1988. http://www.theses.fr/1988TOUL0001.

Texto completo
Resumen
Elaboration d'une description algebrique des flux de donnees representatifs du traitement algorithmique de signal. Pour cela, une formulation de ces flux qui tient compte de l'ordonnancement des processus afin de determiner le parallelisme interne des algorithmes a implanter. Les resultats theoriques obtenus ont ete appliques a des problemes de traitement de signal
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Liu, Baisi. "Une approche efficace pour l’étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés : contextes atemporel et temporel." Thesis, Ecole centrale de Lille, 2014. http://www.theses.fr/2014ECLI0007/document.

Texto completo
Resumen
Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets en utilisant les modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour combattre le problème de l'explosion de l'état lors de l'analyse de la diagnosticabilité. Dans le contexte atemporel, la diagnosticabilité de modèles RdP-L est abordée par l'analyse d'une série de problèmes K-diagnosticabilité. L'analyse de la diagnosticabilité est effectuée sur la base de deux modèles nommés respectivement FM-graph et FM-set tree qui sont développé
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Grunwald, Stefanie. "Identifizierung und Charakterisierung von Muskeldystrophie Duchenne modifizierenden Genen und Stoffwechselwegen." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I, 2010. http://dx.doi.org/10.18452/16108.

Texto completo
Resumen
Hintergrund und Zielsetzung: DMD ist die häufigste Form der Muskeldystrophie im Kindesalter und bis heute unheilbar. Sie wird durch das Fehlen des Proteins Dystrophin verursacht, welches verschiedene Signaltransduktionswege beeinflusst. Das Anliegen der Arbeit ist die Untersuchung und Modulation von Signaltransduktionswegen, die als alternative Therapiestrategie den Verlust von Dystrophin kompensieren könnten. Experimentelle Strategie: Für die Charakterisierung von Dystrophin nachgeschalteten Prozessen wurden mRNA-Expressionsanalysen in Muskelgeweben von DMD-Patienten und einem DMD-Brüderpaa
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Clavareau, Julien. "Modélisation des stratégies de remplacement de composant et de systèmes soumis à l'obsolescence technologique." Doctoral thesis, Universite Libre de Bruxelles, 2008. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210482.

Texto completo
Resumen
Ce travail s’inscrit dans le cadre d’étude de la sûreté de fonctionnement.<p>La sûreté de fonctionnement est progressivement devenue partie intégrante de l’évaluation des performances des systèmes industriels. En effet, les pannes d’équipements, les pertes de production consécutives, et la maintenance des installations ont un impact économique majeur dans les entreprises. Il est donc essentiel pour un manager de pouvoir estimer de manière cohérente et réaliste les coûts de fonctionnement de l’entreprise, en tenant notamment compte des caractéristiques fiabilistes des équipements utilisés, ains
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Gruer, Juan Pablo. "Eléments de synchronisation pour un langage temps-réel de commande de procédés." Mulhouse, 1989. http://www.theses.fr/1989MULH0105.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Champagnat, Ronan. "Supervision des systèmes discontinus : définition d'un modèle hybride et pilotage en temps-réel." Toulouse 3, 1998. http://www.theses.fr/1998TOU30185.

Texto completo
Resumen
Cette thèse traite de la supervision des systèmes discontinus. Ce sont des systèmes qui transforment une matière première de type continu par l'intermédiaire d'équipements continus ou discontinus travaillant par lots. Après avoir rappelé le cas discret, nous présentons les particularités des systèmes discontinus. Cette étude nous permet de bien spécifier les besoins pour la modélisation et d'étudier les extensions des réseaux de Pétri pouvant représenter des systèmes hybrides. Ensuite, nous définissons formellement un modèle hybride, basé sur la combinaison d'un réseau de Pétri prédicats-trans
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Sampietro, Samuele. "Timed Failure Logic Analysis in a Model-Driven Engineering approach." Doctoral thesis, 2021. http://hdl.handle.net/2158/1238685.

Texto completo
Resumen
A complex System of Systems, integrating several hardware and software components in the holistic perspective of providing an emergent behaviour and operating within business-critical contexts, aims at affording contrasting requirements of reliability and complexity in delivered functions and quality of services by supporting system evolution and adaptation over time. This dissertation contributes to the area of Model-Driven Engineering (MDE), proposing a model-driven approach supporting timed failure logic analysis of complex Cyber-Physical Systems (CPS) in business-critical scenarios.
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Li, Wen-Li, and 李文禮. "Analytical Method in Stochastic Timed Petri Nets." Thesis, 1996. http://ndltd.ncl.edu.tw/handle/59459331695620216810.

Texto completo
Resumen
碩士<br>淡江大學<br>資訊工程學系<br>84<br>Petri Nets is a tool to describe and analyse systematic behavior.Especially after time is led into Petri Nets,such as Stochastic timed petri nets,the complicated behavior including concurrency,synchronization and nondeterminism of Concurrent / Distributed Systems can develop the modeling and evaluating system than ever.We can make structural property analysis from underlying Petri Net,and find out invariants being the basis of verifying behavior properties incl
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

"Performance evaluation of stochastic timed decision-free Petri nets." Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, 1985. http://hdl.handle.net/1721.1/1163.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

"Calculating time-related performance measures of a distributed tactical decisionmaking organization using stochastic timed petri nets." Massachusetts Institute of Technology, Laboratory for Information and Decision Systems, 1985. http://hdl.handle.net/1721.1/2908.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Chen, Ching-Shyang, and 陳清祥. "Constructing Web Page Structure Model By Stochastic Timed Petri Nets." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/97006702915399248820.

Texto completo
Resumen
碩士<br>淡江大學<br>資訊工程學系碩士班<br>93<br>The research on web usage mining provides the applications, such as behavior scheme analysis and web structure adjustment by analyzing the Web Usage Log and related data. This paper describes how to parse the static structure of a web, establish the Stochastic Timed Petri Nets model and apply its accessible-behavior feature to assist the web usage mining procedures like User Identification, Session Identification, Usage Pattern Discovery, etc.
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Sun, Chu-Hao, and 孫初豪. "Online Web Recommendation System by Using Stochastic Timed Petri Nets." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/84344430111548474760.

Texto completo
Resumen
博士<br>淡江大學<br>資訊工程學系博士班<br>99<br>Web recommendation systems are typical applications of Web usage mining. The Web recommendation system is structured according to an online and an off-line component. The off-line component is aimed at building the knowledge base by analyzing past usage profiles that is then used in the online component. The general Web recommendation system mainly uses offline data preprocessing and the mining process is not time-limited. However, this approach is not suitable in real-time dynamic environments. Therefore, we need high-performance online Web usage mining techni
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

JHANG, HONG-JIA, and 張洪嘉. "Combination of Petri Net information flow, Timed Petri Net, Stochastic Petri Net and Petri Net Modeling of Buffers for innovative R&D process establishment and production flow analysis (PFA) of LED track light, as well as the related knowledgebase establishment." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/rkvm44.

Texto completo
Resumen
碩士<br>國立臺灣科技大學<br>機械工程系<br>106<br>The paper applies Petri Net information flow, and combines Timed Petri Net theory, Stochastic Petri Net theory, Petri Net Modeling of Buffers and Petri Net dataflow calculation and integration information transmission concept, calculation data and production of time parameters, innovative development process of design and manufacture of LED track light for estimation of assembling time, and manufacturing process model. The paper designs the modeling of buffers in the production process, attempting to prevent blockade of raw materials and workpieces, and make
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Weng, Chih-Hao, and 翁志豪. "Simulate the SCOR Process with Time Based Petri Net." Thesis, 2004. http://ndltd.ncl.edu.tw/handle/17492453617647461543.

Texto completo
Resumen
碩士<br>國立中央大學<br>工業管理研究所<br>92<br>Abstract In this paper, we introduce the concept of supply chain and supply chain management. When we want to discuss the issue of the supply chain, the SCOR Model must consider first, so we introduce what is SCOR Model. We know there are several tools to describe the process but fewer can monitor the process with spending time. The Petri Net is the tool to describe the system and we can present the states of the system by its token. But the base Petri Net always focuses on the single case rather than the multiple cases. For the issue, we create some elements a
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

"Petri Net Modeling of Outpatient Waiting Time for MRI Examination." Thesis, 2013. http://hdl.handle.net/10388/ETD-2013-11-1304.

Texto completo
Resumen
In Canada, access to magnetic resonance imaging (MRI) examination is limited with an outcome of long patient waiting time. It is reported that the current median waiting time for MRI examination in Saskatoon is almost double the target for waiting time, which may aggravate the disease. This research is towards reducing the waiting time of patients for MRI examination in Canada by applying an improved management. As a first step of this effort, a comprehensive model of MRI booking and serving system is needed. The city of Saskatoon was taken as an example and the MRI booking and serving system
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Shen, Zong-Yi, and 沈宗逸. "Combination of Petri Net information flow, Timed Petri Net and Stochastic Petri Net for innovative R&D process establishment and production flow analysis (PFA) of LED stage light, as well as the related knowledgebase establishment." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/75890556136001591453.

Texto completo
Resumen
碩士<br>國立臺灣科技大學<br>機械工程系<br>105<br>The paper applies the innovative R&D process design and manufacturing process model of LED stage light, with prediction of production and assembling time that combines Petri Net information flow, Timed Petri Net theory, Stochastic Petri Net and Petri Net dataflow calculated and integrated information transmission concept, calculation data and time parameters. The paper adds the concept of “probability” to production process. Preconceiving the unexpected events that will possibly happen would make the whole production process closer to the real situation. The p
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Cain and 蔡祁名. "Verifying Time Properties by Transforming Timing Diagram to Object-Oriented Time Petri Net." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/85513332010482606839.

Texto completo
Resumen
碩士<br>東海大學<br>資訊工程與科學系<br>93<br>In system software development, time is a very important factor to the quality of the systems. Especailly there are more and more real time systems and embedded systems around people. Therefore, in UML 2.0 standard, OMG developed a new diagram called timing diagram which is used to described timing properties and interaction between objects. However, UML is a modeling language, it doesn't provide the technique to analyze and verify. For this reason, developers use timing diagram to describe the time properties but hard to know if there has some mistakes in timi
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Hsi-ChuanWang and 王曦涓. "Using Petri Net to Estimate Job Execution Time in MapReduce Model." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/28576277544335563389.

Texto completo
Resumen
碩士<br>國立成功大學<br>資訊工程學系碩博士班<br>101<br>Handling the vast amounts of data being generated currently requires large-scale data-processing techniques and has led to the recent growth of cloud computing. MapReduce is a key technique among several new concepts in cloud computing. After understanding how to develop parallel processing, programmers can use the MapReduce framework rapidly to complete parallel processing programs and exploit the high performance of computer clusters. One of the MapReduce implementations used most widely is Hadoop, which is the test platform used in this thesis. However,
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Yi-ChenShen and 沈奕辰. "Enhancing Diagnostic Performance in Batch Processes with Petri-Net Representation of Time." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/59163229026047654416.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Jhong-Yi, Guo, and 郭仲毅. "A New Reduction Methord for Time Petri Net Systems Using Matching Theory." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/65401471617064647440.

Texto completo
Resumen
碩士<br>國立臺北大學<br>通訊工程研究所<br>96<br>In this thesis, we present an efficient method to solve the state explosion problem in Petri nets by using matching theory. It is really hard to analyze a Petri net while there are too many states in a Petri net. In order to solve such a problem, we address a way to label the weight value on a transition according the relationship between places and transitions. Then we select the transition which is related to the maximum one after sorting weights. The transition we select is the most important and connective one for the whole Petri nets at the moment. After s
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Chi, Chen-Chung, and 季振忠. "The Use of Stochastic Timed Petri Nets To Help Data Preprocessing Procedure In Web Mining." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/83496522751360745361.

Texto completo
Resumen
碩士<br>淡江大學<br>資訊工程學系碩士班<br>93<br>Data preprocessing is an important procedure in web usage mining. In this paper, we will discuss some major questions in data preprocessing, and then provide some methods to help to solve these problems. In a web usage mining process, if we do not complete the web structure analysis at first, then we cannot truly complete data preprocessing, as well seriously affects the accuracy in pattern discovery. Therefore, in the present paper, we utilize Stochastic Timed Petri Nets (STPN) and its reachability behavior characteristic, as well as the constructed web struct
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Kao, Hsiu-Che, and 高脩哲. "Prototyping for real-time system based on enhanced Petri net and production system." Thesis, 1993. http://ndltd.ncl.edu.tw/handle/99419413275227505049.

Texto completo
Resumen
碩士<br>國立臺灣大學<br>資訊工程研究所<br>81<br>Real-time computing systems have appeared more widely in recent times. Based upon clear and manageable specification of timing constraints structure in real-time systems development, the quality of the specification of timing constraints can be examined during software development. In this paper, we propose an Enhanced Time Petri Net (ETPN) to model the timing constraints in both hard and soft real-time system. The model ETPN can describe the real systems mo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Jao, Yueh –. Feng, and 饒岳峰. "The Study of Three-Dimensional VR Description Tools Using Time-Object-Oriented Petri Net." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/62824318468728626359.

Texto completo
Resumen
碩士<br>中國文化大學<br>資訊管理研究所<br>95<br>This research extends predecessor’s research on combining Object-Oriented High Level Petri Nets (OPNets) with time delay interval of Time Petri Nets to model two-dimensional virtual reality, and advances a method of modeling user roaming, change of user view angle, and object interaction activities in three-dimensional virtual reality.We modify and extend predecessor’s reachability tree, and then put forward a time reachability tree with the ability to detect the deadlock, unexpected end, loop, and a kind of peculiar loop in the system. This thesis not only pro
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Lee, Yung-Yu, and 李永裕. "Parallel programming design、implementation and analysis – a case study on Analytical Solution for Stochastic Timed Petri Nets." Thesis, 1998. http://ndltd.ncl.edu.tw/handle/53399104325094795572.

Texto completo
Resumen
碩士<br>淡江大學<br>資訊工程學系<br>86<br>A parallel program can use these distributed computing resources efficiently, and a good parallelized program depends on the good designing and analyzing rocesses. In this thesis, we use Ian Foster''s designing method of parallel program and analyze through the four steps of decomposition, communication, agglomeration and mapping. We use a case study on analytical solution for Stochastic Timed Petri Nets which use three algorithms to solve the problems, they ar
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Lee, Ming Rong, and 李銘榮. "The Development of An Object-Oriented Petri Net Flexible Manufacturing Cell Real Time Scheduling System." Thesis, 1997. http://ndltd.ncl.edu.tw/handle/09833484005789694676.

Texto completo
Resumen
碩士<br>東海大學<br>工業工程學系<br>85<br>The performance of a flexible manufacturing cell (FMC) is highly dependent on the effectiveness of its scheduling system. This paper presents an approach which consists of two parts: (1) order release and resource allocation, and (2) operations scheduling. A constraint satisfaction technique (CST) is first employed to determine the appropriate order release time and allocated resource (e.g., fixture in each pallet) for each part in the order pool. Then, a color
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

NIU, BING-XIAN, and 牛秉憲. "Real-time scheduling in FMS with multiple material handling systems using petri-net based techniques." Thesis, 1991. http://ndltd.ncl.edu.tw/handle/34609648370534960982.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Huang, Bo-Wei, and 黃柏維. "A Timed Petri Net Approach for Job Shop Scheduling with Setup Time and Routing Flexibility." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/20782766865329297372.

Texto completo
Resumen
碩士<br>國立雲林科技大學<br>工業工程與管理研究所碩士班<br>101<br>In order to reach the customization, multi-functional machines become more and more. It can execute the different operation by changing tools and modulating the process parameters. As the reason, it raises the routing flexibility in the manufacturing system, and the times about changing tools and modulating parameters call setup times. This paper proposes a method to job shop scheduling problems with anticipatory independent setup times and routing flexibility. First, timed petri nets are used for presenting the behavior of job shop scheduling problems
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

chen, Yen-chen, and 陳彥臻. "A Coloured Timed Petri Net approach for shortest traveling time and deadlock avoidance of AGV systems." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/18402962001439920872.

Texto completo
Resumen
碩士<br>國立雲林科技大學<br>工業工程與管理研究所碩士班<br>99<br>The automated guided vehicle (AGV) system is the most flexible material handling system. AGV system design must consider some management issues to avoid resource conflicts and deadlock situations from occuring, and to process material handling in the shortest time to complete the work. When AGV system deadlock occurs, the system may cause paralysis or blockage, and reduce the overall system productivity. In this research, based on the given layout and job requirements of a bidirectional AGV system, we investigated a deadlock-free system and the shortest
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Tsai, Chen-Ting, and 蔡承廷. "Application of Fuzzy-Time Petri Net to Resource Scheduling for Large-Scale Contingencies of Distribution Systems." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/30698616314920483123.

Texto completo
Resumen
碩士<br>國立高雄應用科技大學<br>電機工程系碩士班<br>93<br>Significant damages caused by extreme weather conditions such as typhoon, flood, storm could result in multiple and widely-spread outages in distribution systems. The electric utilities will send repair crew to deal with the outages as soon as possible. Due to the limits of repair resources in a large-scale multiple contingencies, an effective resource management is especially crucial. In this thesis, fuzzy sets and fuzzy operations for the events and the resources are proposed to deal with uncertainties in the scheduling. A Fuzzy Time Petri Net(FTPN) mode
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Biagi, Marco. "New methods for quantitative evaluation of Markov regenerative models." Doctoral thesis, 2019. http://hdl.handle.net/2158/1152945.

Texto completo
Resumen
The thesis describes the research that has been carried out in order to reduce the limitations of current analysis techniques for non-Markovian models, which led to a three-fold contribution. The first contribution is a technique that allows to integrate different analysis techniques for the evaluation of kernels of a MRGP. Specifically, the state space of the underlying timed model is analyzed to identify epochs between regenerations and apply distinct methods for their analysis depending on the locally satisfied conditions. For epochs not amenable to existing methods, an adaptive approximat
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Zhang, Jun-Feng, and 張浚峰. "Applying Colored Time Petri Net to map out the maintenance of shared-load (2,2,1) Spin Coater system." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/swkewt.

Texto completo
Resumen
碩士<br>國立中央大學<br>機械工程研究所<br>94<br>The manufacture of the DVD disc contains some necessary processes, whish are disc molding, cooling, dye coating, drying, sputtering, edge cleaning, bonding, and UV-curing. The quality of products will be affected by every manufacturing process. Because of the defects in designing and the external facts of operation, the equipment or components can be damaged in some aspects, such as mechanical fatigue and abrasion . In the DVD disc manufacturing process, the equipment of dye coating called Spin Coater functions with rotation. Due to the unbalanced rotation, the
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Huang, Chang-Sheng, and 黃長勝. "A Time Petri Net Approach Applied to the Modeling and Analysis of Golf heads Cast Manufacturing Systems." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/37241144766170392199.

Texto completo
Resumen
碩士<br>國立高雄應用科技大學<br>工業工程與管理系碩士班<br>95<br>The golf club is fashionable sport apparatus that is used extensively, and the basic structure of a golf product includes the golf head, ferrule, golf shaft and the grip. The golf head, striking golf balls straight, is the most important part of a golf product, and its shape design, manufacturing methods and materials will influence the quality and cost of the golf product directly. At present, The golf head is mostly made of titanium, the manufacturing methods of golf heads mainly focus on precision casting. It goes several procedures that include meta
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía