Relevant bibliographies by topics / Stochatic Time Petri Net

Academic literature on the topic 'Stochatic Time Petri Net'

Author: Grafiati
Published: 10 March 2023

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Stochatic Time Petri Net.'

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.

Journal articles on the topic "Stochatic Time Petri Net"

1

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.

Full text
Abstract:
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, and other styles
2

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.

Full text
Abstract:
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, and other styles
3

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.

Full text
Abstract:
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, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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, and other styles
6

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.

Full text
Abstract:
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, and other styles
7

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.

Full text
Abstract:
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, and other styles
8

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.

Full text
Abstract:
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, and other styles
9

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.

Full text
Abstract:
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, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Stochatic Time Petri Net"

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.

Full text
Abstract:
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, 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.
MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING
Bibliography: leaves 305-310.
by Richard Paul Wiley.
Sc.D.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:

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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Books on the topic "Stochatic Time Petri Net"

1

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Stochatic Time Petri Net"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Stochatic Time Petri Net"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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, and other styles
3

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.

Full text
Abstract:
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, and other styles
4

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.

Full text
Abstract:
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, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Stochatic Time Petri Net' for particular source types:
Journal articles Dissertations / Theses
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!

To the bibliography