Готові списки джерел за темами / Stochatic Time Petri Net

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій

Добірка наукової літератури з теми "Stochatic Time Petri Net"

Автор: Grafiati

Опубліковано: 10 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Stochatic Time Petri Net".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Stochatic Time Petri Net"

Coman, Daniela, and Adela Ionescu. "Simulation and Performance Analysis of a FMS/CIM Using Stochastic Timed Petri Nets." Advanced Materials Research 837 (November 2013): 322–27. http://dx.doi.org/10.4028/www.scientific.net/amr.837.322.

Повний текст джерела

Анотація:

This paper focuses on the modelling, simulation and the performance analysis of a flexible manufacturing system using stochastic timed Petri nets so as to evaluate various performance parameters such as utilization rate of machines, deadlock detection, cycle time, and throughput rate of system in order to obtain the optimum productivity. The simulation of the manufacturing system using Petri nets provides the possibility to view the manufacturing process in time. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. It is achieved the graphic construction of the net. Then, transporting it into a specific mathematical formalism it is made, so that the fulfiled structure to be fully retrieved and used to bring out the internal dynamics of the model. It is validated in this way the net topology, the evolution of (their dynamics), as well as the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks). Some global performance indicators are determined in order to evaluate the performance of the proposed manufacturing system.

Стилі APA, Harvard, Vancouver, ISO та ін.

Coman, Daniela, Nicu Bizdoaca, Anca Petrisor, Adela Ionescu, and Mihaela Florescu. "Modeling and Analysis of Soccer Robot Tasks Using Generalized Stochastic Petri Nets." Solid State Phenomena 166-167 (September 2010): 133–38. http://dx.doi.org/10.4028/www.scientific.net/ssp.166-167.133.

Повний текст джерела

Анотація:

Robot soccer competition provides an excellent opportunity for robotics research. In particular, the soccer robots must perform real-time visual recognition, navigate in a dynamic field, avoid the obstacle, collaborate with teammates, and kick the ball in the correct direction. All these tasks demand robots that are autonomous (sensing, thinking, and acting as independent creatures), efficient (functioning under time and resource constraints), cooperative (collaborating with each other robot to accomplish tasks that are beyond individual’s capabilities), and intelligent (reasoning and planing actions and perhaps learning from experience). This paper proposes a method of defining and analysing the attacking robot tasks using Petri nets. Attacking soccer robot behaviors are modeled using the generalized stochastic Petri nets. Using Petri nets allows qualitative and quantitative analysis of the task execution. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. Therefore, it is validated the net topology, the evolution of (their dynamics), the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks), as well as the stochastic performance.

Стилі APA, Harvard, Vancouver, ISO та ін.

Proß, Sabrina, and Bernhard Bachmann. "An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica." Journal of Integrative Bioinformatics 8, no. 1 (March 1, 2011): 1–34. http://dx.doi.org/10.1515/jib-2011-152.

Повний текст джерела

Анотація:

Summary Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task. Therefore, a new Petri Net library was implemented based on the object-oriented modeling language Modelica which allows the modeling of discrete, stochastic and continuous Petri Net elements by differential, algebraic and discrete equations. An appropriate Modelica-tool performs the hybrid simulation with discrete events and the solution of continuous differential equations. A special sub-library contains so-called wrappers for specific reactions to simplify the modeling process.The Modelica-models can be connected to Simulink-models for parameter optimization, sensitivity analysis and stochastic simulation in Matlab.The present paper illustrates the implementation of the Petri Net component models, their usage within the modeling process and the coupling between the Modelica-tool Dymola and Matlab/Simulink. The application is demonstrated by modeling the metabolism of Chinese Hamster Ovary Cells.

Стилі APA, Harvard, Vancouver, ISO та ін.

LU, Zhong. "System Maintainability Modeling Method Based on Colored Stochastic Time Petri Net." Journal of Mechanical Engineering 47, no. 10 (2011): 185. http://dx.doi.org/10.3901/jme.2011.10.185.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Shailesh, Tanuja, Ashalatha Nayak, and Devi Prasad. "An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net." Computers 9, no. 4 (November 27, 2020): 94. http://dx.doi.org/10.3390/computers9040094.

Повний текст джерела

Анотація:

Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality. In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time and embedded systems (MARTE) profile. MARTE offers a performance domain sub-profile that is used for representing real-time system properties essential for performance evaluation. In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model. All the transformation rules are implemented using a metamodel based approach and Atlas Transformation Language (ATL). A case study from the manufacturing domain a Kanban system is used for validating the proposed technique.

Стилі APA, Harvard, Vancouver, ISO та ін.

Li, Xiao Zhong, and Yi Jie Ding. "Knowledge Flow Modeling and Analysis in Supply Chain Based on Stochastic Petri Net." Advanced Materials Research 459 (January 2012): 381–85. http://dx.doi.org/10.4028/www.scientific.net/amr.459.381.

Повний текст джерела

Анотація:

Knowledge is an important resource providing competitive strategies for the firms. Managing knowledge through supply chain will bring more benefits to the businesses. Various factors during the process of knowledge flowing can cause different time delay. In order to analyze the problem of time delay of knowledge flow in supply chain, the knowledge flow model in supply chain based on stochastic Petri net is proposed and corresponding isomorphic Markov chain is given. The time performance and the efficiency of knowledge flow Petri net model are discussed. The proposed method can help the firm with the knowledge flow management and reorganization

Стилі APA, Harvard, Vancouver, ISO та ін.

Aguiar, M. W. C., and R. H. Weston. "CIM-OSA and Stochastic Time Petri Nets for Behavioural Modelling and Model Handling in CIM Systems Design and Building." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 207, no. 3 (August 1993): 147–58. http://dx.doi.org/10.1243/pime_proc_1993_207_075_02.

Повний текст джерела

Анотація:

Means are considered that can structure design and building processes associated with integrated manufacturing systems. To meet the identified needs, the paper proposes the use of an environment for executing models which adopts and extends the concepts and guidelines identified by the CIM-OSA (computer integrated manufacturing-open sytems architecture) consortium. A key component of the environment concerns the execution of models of behaviour. The paper describes (with reference to on-going implementation work) how CIM-OSA behaviour models can be represented and handled by stochastic time Petri net model execution tools. The use of the design and building environment is illustrated with reference to a case study application involving the batch manufacture of a family of electronic products. Here, the necessary form of key CIM-OSA and Petri net models are described, as are results from the Petri net simulation studies. The paper also comments on the advantages and limitations of the CIM-OSA modelling approach and how certain of those limitations are circumvented by adopting the proposed environment for model execution.

Стилі APA, Harvard, Vancouver, ISO та ін.

Shahzadi, Shabnam, Xianwen Fang, and David Anekeya Alilah. "Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis." Mathematical Problems in Engineering 2021 (June 30, 2021): 1–7. http://dx.doi.org/10.1155/2021/8699164.

Повний текст джерела

Анотація:

For exploitation and extraction of an event’s data that has vital information which is related to the process from the event log, process mining is used. There are three main basic types of process mining as explained in relation to input and output. These are process discovery, conformance checking, and enhancement. Process discovery is one of the most challenging process mining activities based on the event log. Business processes or system performance plays a vital role in modelling, analysis, and prediction. Recently, a memoryless model such as exponential distribution of the stochastic Petri net SPN has gained much attention in research and industry. This paper uses time perspective for modelling and analysis and uses stochastic Petri net to check the performance, evolution, stability, and reliability of the model. To assess the effect of time delay in firing the transition, stochastic reward net SRN model is used. The model can also be used in checking the reliability of the model, whereas the generalized stochastic Petri net GSPN is used for evaluation and checking the performance of the model. SPN is used to analyze the probability of state transition and the stability from one state to another. However, in process mining, logs are used by linking log sequence with the state and, by this, modelling can be done, and its relation with stability of the model can be established.

Стилі APA, Harvard, Vancouver, ISO та ін.

Haas, Peter J., and Gerald S. Shedler. "Stochastic Petri Nets: Modeling Power and Limit Theorems." Probability in the Engineering and Informational Sciences 5, no. 4 (October 1991): 477–98. http://dx.doi.org/10.1017/s0269964800002242.

Повний текст джерела

Анотація:

Generalized semi-Markov processes and stochastic Petri nets provide building blocks for specification of discrete event system simulations on a finite or countable state space. The two formal systems differ, however, in the event scheduling (clock-setting) mechanism, the state transition mechanism, and the form of the state space. We have shown previously that stochastic Petri nets have at least the modeling power of generalized semi-Markov processes. In this paper we show that stochastic Petri nets and generalized semi-Markov processes, in fact, have the same modeling power. Combining this result with known results for generalized semi-Markov processes, we also obtain conditions for time-average convergence and convergence in distribution along with a central limit theorem for the marking process of a stochastic Petri net.

Стилі APA, Harvard, Vancouver, ISO та ін.

Ammar, H. H., and S. M. R. Islam. "Time scale decomposition of a class of generalized stochastic Petri net models." IEEE Transactions on Software Engineering 15, no. 6 (June 1989): 809–20. http://dx.doi.org/10.1109/32.24734.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Stochatic Time Petri Net"

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.

Повний текст джерела

Анотація:

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
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 consumo de energia e ao desempenho das aplicações desses dispositivos embarcados. Al´em disso, esse trabalho propõe modelos temporizados de eventos discretos que são avaliados através de uma metodologia de simulção estocástica com o objetivo de representar diferentes cenários dos sistemas com facilidade. Dessa forma, para cada cenário ´e preciso decidir o n´umero máximo de simulações e o tamanho de cada rodada da simulação, onde ambos os fatores podem impactar no desempenho para se obter tais estimativas. Essa metodologia considera também, um modelo intermediário que representa a descrição do comportamento do sistema e, é através desse modelo que cenários são analisados. Esse modelo intermediário ´e baseado em redes de Petri coloridas temporizadas que permitem não somente a anáise do software, mas também fornece suporte a um conjunto de métodos bem estabelecidos para verificações de propriedades. É nesse contexto que o software, ALUPAS, responsável por estimar o consumo de energia e o tempo de execução dos sistemas embarcados é apresentado. Por fim, um caso de estudo real, assim como tamb´em, exemplos customizados são apresentados com a finalidade de mostrar a aplicabilidade desse trabalho, onde usuários não especializados não precisam interagir diretamente com o formalismo de redes de Petri.

Стилі APA, Harvard, Vancouver, ISO та ін.

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

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 terms of better accuracy in the presence of time series effects.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 1990.
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 та ін.

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.

Повний текст джерела

Анотація:

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.

In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.

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 their representations at different levels of granularity. Our modeling formalism has a welldefined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process.

Second, we propose an approach to the problem of formal verification of real-time embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking ools. Various examples, including a realistic industrial case, demonstrate the feasibility of our approach on practical applications.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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
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ós podemos encontrar um sistema embarcado. Desnecessário afirmar que a vida humana tem se tornado mais e mais dependente desses sistemas. Alguns sistemas embarcados são classificados como sistemas de tempo real, onde o comportamento correto depende não somente da integridade dos resultados, mas também nos tempos em que tais resultados são produzidos. Em sistemas embarcados de tempo real críticos, se as restrições temporais não forem satisfeitas, as conseqüências podem ser desastrosas, incluindo grandes danos aos equipamentos ou mesmo perdas de vidas humanas. Devido a tarefas que possuem alta taxa de utilização de processador, alguns sistemas embarcados (ex: dispositivos médicos) precisam ser compostos de mais de um processador para obter performance aceitável e, no caso de sistemas embarcados de tempo real críticos, para satisfazer as restrições temporais críticas. Entretanto, questões adicionais precisam ser consideradas para lidar com um ambiente multiprocessado, tal como comunicação entre processadores e sincronização. Nessa dissertação, um método de síntese de software baseado no formalismo matemático redes de Petri com tempo é apresentado para lidar com sistemas embarcardos de tempo real críticos com múltiplos processadores. A abordagem inicia a partir de uma especificação (usualmente composta de tarefas concorrentes e comunicantes) e automaticamente gera o código fonte de um programa considerando: (i) as funcionalidades e restrições; e (ii) o suporte operacional para execução das tarefas em um ambiente multiprocessado. Síntese de software é uma alternativa para sistemas operacionais especializados para dar suporte a execução de um programa. Sistemas operacionais são usualmente genéricos e podem introduzir atrasos no tempo de execução, e ao mesmo tempo produzir alto consumo de memória. Por outro lado, a síntese de software é uma alternativa de projeto, dado que este método automaticamente gera o código fonte do programa, satisfazendo a funcionalidade, as restrições especificadas, o suporte para execução, e a minimização dos atrasos e uso de memória

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 (ou moniteur). Le fonctionnement d’un superviseur consiste simplement à interpréter un ensemble d’informations provenant du système sous forme de message, que l’on qualifiera d’évènement, et d’en déduire un diagnostic. L’objectif de cette thèse est de mettre un place un superviseur distribué permettant de vérifier en temps réel des propriétés temporelles. En particulier nous souhaitons que notre moniteur soit capable de vérifier un maximum de propriétés avec un minimum d’information. Ainsi notre outil est spécialement conçu pour fonctionner parfaitement même si l’observation est imparfaite, c’est-à-dire, même si certains évènements arrivent en retard ou s’ils ne sont jamais reçus. Nous avons de plus cherché à atteindre cet objectif de manière distribuée pour des raisons évidentes de performance et de tolérance aux fautes. Nous avons ainsi proposé un protocole distribuable fondé sur l’exécution répartie d’un réseau de Petri temporisé. Pour vérifier la faisabilité et l’efficacité de notre approche, nous avons mis en place une implémentation appelée Minotor qui s’est révélée avoir de très bonnes performances. Enfin, pour montrer l’expressivité du formalisme utilisé pour exprimer les spécifications que l’on désire vérifier, nous avons détaillé un ensemble de propriétés sous forme de réseaux de Petri à double sémantique introduite dans cette thèse (l’ensemble des transitions étant partitionné en deux catégories de transitions, chacune de ces parties ayant sa propre sémantique).

Стилі APA, Harvard, Vancouver, ISO та ін.

Ď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.

Повний текст джерела

Анотація:

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, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Книги з теми "Stochatic Time Petri Net"

Institute for Computer Applications in Science and Engineering., ed. Discrete-time Markovian stochastic Petri nets. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Seatzu, Carla. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. London: Springer London, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Karatkevich, Andrei. Dynamic Analysis of Petri Net-Based Discrete Systems. Springer London, Limited, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Dynamic Analysis of Petri Net-Based Discrete Systems. Springer, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Control Of Discreteevent Systems Automata And Petri Net Perspectives. Springer, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Silva, Manuel, Carla Seatzu, and Jan H. van Schuppen. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. Springer, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Stochatic Time Petri Net"

Popova-Zeugmann, Louchka. "The Classic Petri Net." In Time and Petri Nets, 7–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41115-1_2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Solti, Andreas, Laura Vana, and Jan Mendling. "Time Series Petri Net Models." In Lecture Notes in Business Information Processing, 124–41. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-53435-0_6.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Yang, Maoqiang. "Time Petri Net-Based Software Reliability Analysis." In Intelligence Computation and Evolutionary Computation, 231–35. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-31656-2_34.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Juan, Eric Y. T., and Jeffrey J. P. Tsai. "Delay Time Petri Nets and Net Reduction." In Compositional Verification of Concurrent and Real-Time Systems, 143–86. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1009-3_7.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sauer, Nathalie, and Xiaolan Xie. "Marking optimization of stochastic timed event graphs." In Application and Theory of Petri Nets 1993, 357–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56863-8_56.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Xie, Aiguo, and Peter A. Beerel. "Performance Analysis of Asynchronous Circuits and Systems Using Stochastic Timed Petri Nets." In Hardware Design and Petri Nets, 239–68. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3143-9_13.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Fleischhack, Hans, and Christian Stehno. "Computing a Finite Prefix of a Time Petri Net." In Application and Theory of Petri Nets 2002, 163–81. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-48068-4_11.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Hélouët, Loïc, and Karim Kecir. "Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics." In Application and Theory of Petri Nets and Concurrency, 155–75. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-39086-4_11.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

García, F. J., and J. L. Villarroel. "Translating Time Petri Net Structures in Ada 95 Statements." In Reliable Software Technologies — Ada-Europe’ 99, 158–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48753-0_14.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Rust, Carsten, Jürgen Tacken, and Carsten Böke. "Pr/T-Net Based Seamless Design of Embedded Real-Time Systems." In Applications and Theory of Petri Nets 2001, 343–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45740-2_20.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Stochatic Time Petri Net"

Dingle, Nicholas J., Peter G. Harrison, and William J. Knottenbelt. "Response time densities in generalised stochastic petri net models." In the third international workshop. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/584369.584377.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Dong, Ming, and Jianzhong Cha. "Using CIMOSA and Stochastic Time Petri Nets for Behaviour Modeling of CIM Systems." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/dac-1064.

Повний текст джерела

Анотація:

Abstract The integrated model of an enterprise can be built by making use of the CIMOSA modeling framework and modeling language. The behaviour analysis of the CIMOSA enterprise model can be made by the sets of procedural rules. In order to make further performance analysis of the CIMOSA enterprise model, this paper presents a systematic approach to transform the CIMOSA enterprise model into a equivalent stochastic Petri net model. The systematic approach is a hybrid Petri nets synthesis technology which integrates the “bottom-up” and “top-down” modeling approaches. The resulting Petri net obtained from this approach preserve the same qualitative properties of its original Petri net.

Стилі APA, Harvard, Vancouver, ISO та ін.

Einafshar, Atefeh, and Farrokh Sassani. "Vulnerability, Uncertainty and Probability (VUP) Quantification of a Network of Interacting Satellites Using Stochastic Petri Nets (SPN)." In ASME 2013 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/imece2013-64774.

Повний текст джерела

Анотація:

A new approach to Vulnerability, Uncertainty and Probability (VUP) quantification procedure using Stochastic Petri Nets within a network of interacting satellites is presented. A Stochastic Petri Net based model is developed to quantify VUP in a network of interacting satellites. Three indicators are proposed to determine the VUP definitions in interacting network of satellites. The proposed VUP quantification scheme addresses a methodology which employs a Stochastic Petri Net for quantitative analysis of the behavior of the network. With the random variables associated with the Petri Net transitions, the dynamic behavior of the cooperating satellites in a SPN model can be mapped onto a time-continuous Markov chain with discrete state space. After generating a Markov Stochastic Petri Net model, the probability of a given condition in the network at a specified time can be computed and quantified as well as the vulnerability and uncertainty of the system using the identified indicators.

Стилі APA, Harvard, Vancouver, ISO та ін.

Kumar, Girish, Vipul Jain, and O. P. Gandhi. "Reliability and Availability Modeling of Mechanical Systems Using Stochastic Petri Net." In ASME 2011 Power Conference collocated with JSME ICOPE 2011. ASMEDC, 2011. http://dx.doi.org/10.1115/power2011-55325.

Повний текст джерела

Анотація:

Reliability and availability modeling of complex mechanical systems such as power plants in a single model, considering binary/tertiary states of individual components, using Markov approach is difficult due to state space explosion problem. Inclusion of various types of dependencies in the model further aggravates it. Moreover, the Markov approach is applicable when failure and repair time distributions are exponential. As the time to failure of mechanical components in most of the cases follows Weibull distribution, the Markov approach cannot be realistically applied for such systems. To overcome this, Stochastic Petri net (SPN) hierarchical modeling is proposed in this paper. The model is based on three aspects of the system: hierarchical level, basic structure and dependency. The three hierarchical levels are considered in the model. Individual component (level ‘3’) SPN model is developed assuming Weibull failure distribution, while the individual subsystem (level ‘2’) SPN model is developed considering the arrangement of components within the subsystem. The individual model at level ‘2’ is reduced to an equivalent single net model and its equivalent transition rate is derived from its basic structure assuming the independence of components. The assumption of independence is relaxed for the system model (level ‘1’) and the dependencies (e.g. repair, standby redundancy, load sharing) are incorporated. The repair distribution in the system model is assumed exponential and repairs are considered at the subsystem level. Reachable markings are generated for the system model to obtain the reduced state space model. The proposed methodology provides realistic assessment of reliability and availability values. The suggested methodology is demonstrated for the ‘Cooling Tower System’.

Стилі APA, Harvard, Vancouver, ISO та ін.

Khan, Razib Hayat, and Jonayet Miah. "Performance Evaluation of a new one-time password (OTP) scheme using stochastic petri net (SPN)." In 2022 IEEE World AI IoT Congress (AIIoT). IEEE, 2022. http://dx.doi.org/10.1109/aiiot54504.2022.9817203.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Benarbia, Taha, Karim Labadi, A. Moumen Darcherif, Jean-Pierre Barbot, and Abdelhafid Omari. "Real-time inventory control and rebalancing in bike-sharing systems by using a stochastic Petri net model." In 2013 3rd International Conference on Systems and Control (ICSC). IEEE, 2013. http://dx.doi.org/10.1109/icosc.2013.6750920.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Selvakumar, K., and K. Latha. "An approach of disease-drug interaction model with Stochastic Petri Net." In 2017 Trends in Industrial Measurement and Automation (TIMA). IEEE, 2017. http://dx.doi.org/10.1109/tima.2017.8064813.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Cao, Ruimin, Lina Hao, Guoli Bai, and Qiang Gao. "Characteristic analysis of hybrid stochastic timed petri net." In 2018 Chinese Control And Decision Conference (CCDC). IEEE, 2018. http://dx.doi.org/10.1109/ccdc.2018.8407810.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Hamdani, Abdia, and Abdelkrim Abdelli. "Time Petri net with rendezvous." In 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2017. http://dx.doi.org/10.1109/codit.2017.8102578.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Wang, Jiacun, Jiarui Tian, and Ruoyan Sun. "Emergency healthcare resource requirement analysis: A stochastic timed Petri net approach." In 2018 IEEE 15th International Conference on Networking, Sensing and Control (ICNSC). IEEE, 2018. http://dx.doi.org/10.1109/icnsc.2018.8361301.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!