Bibliografías temáticas / Stochastic Time Petri Nets

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Stochastic Time Petri Nets"

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 las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Stochastic Time Petri Nets".

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.

Artículos de revistas sobre el tema "Stochastic Time Petri Nets"

1

Molloy, M. K. "Discrete Time Stochastic Petri Nets". IEEE Transactions on Software Engineering SE-11, n.º 4 (abril de 1985): 417–23. http://dx.doi.org/10.1109/tse.1985.232230.

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

van der Aalst, W. M. P., K. M. van Hee y H. A. Reijers. "Analysis of discrete-time stochastic petri nets". Statistica Neerlandica 54, n.º 2 (julio de 2000): 237–55. http://dx.doi.org/10.1111/1467-9574.00139.

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

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

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

Fűr, Attila. "Extended knowledge attributed Petri Nets". International Journal of Modeling, Simulation, and Scientific Computing 05, n.º 02 (25 de febrero de 2014): 1350028. http://dx.doi.org/10.1142/s1793962313500281.

Texto completo
Resumen
Choosing the best way for describing physical reality has always been standing in focus of research. Several methodologies have been developed based on classical mathematics, or statistics and also new disciplines — such as soft-computing techniques — appeared. Petri Nets as one of the most naturalistic modeling methodologies are well suited to describe complex process in general. However in some fields of modeling the describing power of basic Petri Nets proved not to be robust enough, therefore several extensions were made to the original concept. Colored tokens (Colored Petri Nets), stochastic delayed streaming of mobile entities (Stochastic Petri Nets), object oriented architecture (Object Oriented Petri Nets), numerical (Numerical Petri Nets) and linguistic attributes (Fuzzy Petri Nets) broaden the range of capabilities. In some fields of problem solving, usage of static and mobile knowledge bases is needed: e.g., flexible manufacturing systems, or intelligent traffic simulation. These problems to be investigated involved new conceptual developments of Petri Nets and led to the introduction of Knowledge Attributed Petri Nets. At the same time distributed control in simulation appeared, intelligent agents supported the connection of mobile knowledge bases and static inference engines in an effective way. The mentioned extensions brought general support in model synthesis, but some unsolved questions remained related to the implementation of intelligent mobile entities. This paper highlights a new level of AI controlled simulation introducing the Extended Knowledge Attributed Petri Nets that offer the capability of easy implementation of mobile inference engines and knowledge base, providing general mobile AI in Petri Nets.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Juanole, G., Y. Atamna, N. Bergé y J. M. Farines. "Modelling Time Critical Communication Networks with Stochastic Timed Petri Nets". IFAC Proceedings Volumes 25, n.º 11 (junio de 1992): 143–48. http://dx.doi.org/10.1016/s1474-6670(17)50138-x.

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

Lyon, Douglas. "Using Stochastic Petri Nets for Real-Time Nth-Order Stochastic Composition". Computer Music Journal 19, n.º 4 (1995): 13. http://dx.doi.org/10.2307/3680988.

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

Nabeel, Muhammad, Zeeshan Anwar y Ali Ahsan. "Performance analysis of software maintenance process using stochastic Petri nets". Global Journal of Computer Sciences: Theory and Research 8, n.º 1 (11 de abril de 2018): 01–13. http://dx.doi.org/10.18844/gjcs.v8i1.3285.

Texto completo
Resumen
Software maintenance is a time taking activity in the real world. Execution time of software maintenance process may get increased due to interdepartmental communication, thus, increasing the cost and decreasing the performance of the process. We suggested performance evaluation of software maintenance process through the transformation of activity diagram into generalised stochastic Petri nets (GSPN). For this study, execution time and cost of maintenance process are defined as performance measures, and the role-based approach is used to understand the flow of software maintenance activities in a software organisation. Activity diagram is constructed to be transformed into GSPN. We used PIPE2 to analyse the GSPN. PIPE2 calculates average number of tokens on a place in the GSPN, throughput of timed transition and state space analysis. State space involves calculation of the reachability of the GSPN net that shows whether a GSPN holds the property of safeness, boundness and is deadlock free. Keywords: Generalised stochastic Petri nets (GSPN), GSPN analysis, performance evaluation, performance modelling, software maintenance process, stochastic Petri nets.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

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

Muñoz, Doyra Mariela, Antonio Correcher, Emilio García y Francisco Morant. "Identification of Stochastic Timed Discrete Event Systems with st-IPN". Mathematical Problems in Engineering 2014 (2014): 1–21. http://dx.doi.org/10.1155/2014/835312.

Texto completo
Resumen
This paper presents a method for the identification of stochastic timed discrete event systems, based on the analysis of the behavior of the input and output signals, arranged in a timeline. To achieve this goal stochastic timed interpreted Petri nets are defined. These nets link timed discrete event systems modelling with stochastic time modelling. The procedure starts with the observation of the input/output signals; these signals are converted into events, so that the sequence of events is the observed language. This language arrives to an identifier that builds a stochastic timed interpreted Petri net which generates the same language. The identified model is a deterministic generator of the observed language. The identification method also includes an algorithm that determines when the identification process is over.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Haas, Peter J. y Gerald S. Shedler. "Passage times in colored stochastic petri nets". Communications in Statistics. Stochastic Models 9, n.º 1 (enero de 1993): 31–79. http://dx.doi.org/10.1080/15326349308807253.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Stochastic Time Petri Nets"

1

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.
MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING
Bibliography: leaves 305-310.
by Richard Paul Wiley.
Sc.D.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Ď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, 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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Li, Yao Carleton University Dissertation Engineering Electrical. "Solution techniques for stochastic petri nets". Ottawa, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Lucic, Diana. "On exact equilibrium distributions of stochastic Petri nets /". Title page, contents and summary only, 1990. http://web4.library.adelaide.edu.au/theses/09PH/09phl937.pdf.

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

Coleman, James L. "Stochastic Petri Nets with product form equilibrium distributions /". Title page, contents and summary only, 1993. http://web4.library.adelaide.edu.au/theses/09PH/09phc6922.pdf.

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

Stojic, Ivan <1982&gt. "Algorithms for stationary analysis of stochastic Petri nets". Doctoral thesis, Università Ca' Foscari Venezia, 2016. http://hdl.handle.net/10579/10300.

Texto completo
Resumen
Stochastic Petri nets (SPN) are a Markovian formalism for qualitative and quantitative analysis of discrete event dynamic systems. Among other uses, they have been used extensively in performance evaluation of telecommunication systems, computer systems and networks. Analysis of an SPN model usually requires stationary analysis of a continuous-time Markov chain (CTMC) underlying the SPN, whose state space for many practical models is too large to be analysed by direct methods. This serious drawback is shared with many other modelling formalisms and is usually referred to as state space explosion. Usually simulation can be employed to analyse such models. An alternative is to restrict the SPN formalism to product-form SPNs, a class of nets whose unnormalised stationary probability distribution can be obtained in closed form, making stationary analysis much simpler. In this thesis we present algorithms for stationary analysis of SPN models based on efficient encoding of state spaces and transition functions by multi-way decision diagrams, an efficient data structure. After a short introduction to SPNs and their stationary analysis, we start with simulation of SPNs and present an algorithm for perfect simulation in SPNs that can be used to directly obtain samples from the stationary distribution. After this, we turn to simulation of product-form SPNs and present simulation stopping criteria that exploit the product-form property. Finally, we present an algorithm for fast computation of normalizing constant, needed for the normalisation of stationary probabilities in the analysis of product-form models.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

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

Kumari, Jaya. "Asset Management of Railway Tracks Using Stochastic Petri Nets". Thesis, Luleå tekniska universitet, Drift, underhåll och akustik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-75631.

Texto completo
Resumen
Railways are one of the most important transport systems. It is crucial to have a rail network that is safe, reliable and available. Asset Management for railways involves the optimization of the maintenance activities based on asset condition, life cycle cost and availability of equipment. Irregularities in the track cause the wear of rail resulting in passenger discomfort, speed restrictions and line closures. The track is inspected for these irregularities and corrected using a tamping vehicle. The degradation behavior of the track can be modelled to predict the future degradation. This prediction forms the basis of the maintenance planning based on the expected track condition. A petri net model can be used to simulate the track degradation, inspection and maintenance process over a period of 20 years, and the outputs of the model are used for LCC analysis. Further, the cost is optimized with the safety risk to suggest maintenance threshold levels and Inspection Interval. The proposed methodology will assist the maintenance decision system for Asset Management of Railway track, which is strategic and cost effective. This methodology is demonstrated using a case study of a Line 414 in Sweden, by modelling the track behavior with Standard Deviation of Longitudinal Level. It can be further expanded and adapted for maintenance planning for similar assets within railways.
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Stochastic Time Petri Nets"

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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Bause, Falko y Pieter S. Kritzinger. Stochastic Petri Nets. Wiesbaden: Vieweg+Teubner Verlag, 1996. http://dx.doi.org/10.1007/978-3-663-11521-2.

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

Bause, Falko y Pieter S. Kritzinger. Stochastic Petri Nets. Wiesbaden: Vieweg+Teubner Verlag, 2002. http://dx.doi.org/10.1007/978-3-322-86501-4.

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

Haas, Peter J. Stochastic Petri Nets. New York, NY: Springer New York, 2002. http://dx.doi.org/10.1007/b97265.

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

Lei, Lei, Chuang Lin y Zhangdui Zhong. Stochastic Petri Nets for Wireless Networks. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-16883-8.

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

Stochastic Petri nets: Modelling, stability, simulation. New York: Springer, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

M, Ajmone Marsan, ed. Modelling with generalized stochastic Petri nets. Chichester: Wiley, 1995.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Gianfranco, Ciardo y Institute for Computer Applications in Science and Engineering., eds. Discrete deterministic and stochastic Petri nets. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1996.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Stochastic Time Petri Nets"

1

Wang, Jiacun. "Stochastic Timed Petri Nets and Stochastic Petri Nets". En The Kluwer International Series on Discrete Event Dynamic Systems, 125–53. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7_5.

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

Ciardo, Gianfranco. "Discrete-Time Markovian Stochastic Petri Nets". En Computations with Markov Chains, 339–58. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-1-4615-2241-6_20.

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

Zijal, Robert. "Discrete Time Deterministic and Stochastic Petri Nets". En Quality of Communication-Based Systems, 123–36. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0187-5_8.

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

Wang, Jiacun. "Semi-Markovian Stochastic Timed Petri Nets". En The Kluwer International Series on Discrete Event Dynamic Systems, 213–40. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7_8.

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

Liu, Zhen. "Performance bounds for stochastic timed Petri nets". En Lecture Notes in Computer Science, 316–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60029-9_47.

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

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

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

Sauer, Nathalie y Xiaolan Xie. "Marking optimization of stochastic timed event graphs". En 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.

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

Hélouët, Loïc y Karim Kecir. "Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics". En 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.

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

Mainkar, Varsha y Kishor S. Trivedi. "Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets". En Quality of Communication-Based Systems, 69–84. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0187-5_5.

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

Matuschka, Reinhard y Guenter Klas. "Hierarchical Evaluation of Generalized Stochastic Petri Nets based on Subnetwork Time Distribution". En Informatik-Fachberichte, 292–305. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-76934-4_20.

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

Actas de conferencias sobre el tema "Stochastic Time Petri Nets"

1

Lask, Timo. "Stochastic time petri nets". En EOOLT'17: 8th International Workshop on Equation-Based Object-Oriented Languages and Tools. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3158191.3158196.

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

Dong, Ming y Jianzhong Cha. "Using CIMOSA and Stochastic Time Petri Nets for Behaviour Modeling of CIM Systems". En 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.

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

Peng, Ying, Shu-Zhen Yao y Huo-Bin Tan. "Safety Analysis Based on Stochastic Time Petri Nets". En 2015 International Conference on Computer Science and Applications (CSA). IEEE, 2015. http://dx.doi.org/10.1109/csa.2015.20.

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

Cicirelli, Franco, Libero Nigro y Paolo F. Sciammarella. "Agent-Based Model Continuity Of Stochastic Time Petri Nets". En 30th Conference on Modelling and Simulation. ECMS, 2016. http://dx.doi.org/10.7148/2016-0018.

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

Cicirelli, Franco, Christian Nigro y Libero Nigro. "Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets". En 2015 Federated Conference on Computer Science and Information Systems. IEEE, 2015. http://dx.doi.org/10.15439/2015f69.

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

Benaya, N., N. El-Akchioui y T. Mourabit. "Limits of fluidification for a stochastic Petri nets by timed continuous Petri nets". En 2018 International Conference on Intelligent Systems and Computer Vision (ISCV). IEEE, 2018. http://dx.doi.org/10.1109/isacv.2018.8354065.

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

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

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

Brázdil, Tomáš, Luboš Korenčiak, Jan Krčál, Jan Křetínský y Vojtěch Řehák. "On time-average limits in deterministic and stochastic petri nets". En the ACM/SPEC international conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2479871.2479936.

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

Boonyawat, Supattra y Wiwat Vatanawood. "Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets". En ICSEB 2019: 2019 The 3rd International Conference on Software and e-Business. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3374549.3374564.

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

Wiley, R. y Robert Tenney. "Performance evaluation of decision-free stochastic timed petri nets". En 1985 24th IEEE Conference on Decision and Control. IEEE, 1985. http://dx.doi.org/10.1109/cdc.1985.268548.

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

Informes sobre el tema "Stochastic Time Petri Nets"

1

Prisgrove, L. A. y G. S. Shedler. Symmetric Stochastic Petri Nets. Fort Belvoir, VA: Defense Technical Information Center, marzo de 1985. http://dx.doi.org/10.21236/ada158348.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Stochastic Time Petri Nets" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
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