Bibliographies thématiques / Stochastic Time Petri Nets

Littérature scientifique sur le sujet « Stochastic Time Petri Nets »

Auteur : Grafiati
Publié le 10 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Stochastic Time Petri Nets ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Stochastic Time Petri Nets"

1

Molloy, M. K. « Discrete Time Stochastic Petri Nets ». IEEE Transactions on Software Engineering SE-11, no 4 (avril 1985) : 417–23. http://dx.doi.org/10.1109/tse.1985.232230.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

van der Aalst, W. M. P., K. M. van Hee et H. A. Reijers. « Analysis of discrete-time stochastic petri nets ». Statistica Neerlandica 54, no 2 (juillet 2000) : 237–55. http://dx.doi.org/10.1111/1467-9574.00139.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Fűr, Attila. « Extended knowledge attributed Petri Nets ». International Journal of Modeling, Simulation, and Scientific Computing 05, no 02 (25 février 2014) : 1350028. http://dx.doi.org/10.1142/s1793962313500281.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Muñoz, Doyra Mariela, Antonio Correcher, Emilio García et 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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Haas, Peter J., et Gerald S. Shedler. « Passage times in colored stochastic petri nets ». Communications in Statistics. Stochastic Models 9, no 1 (janvier 1993) : 31–79. http://dx.doi.org/10.1080/15326349308807253.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "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.

Texte intégral
Résumé :
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.
Styles 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.

Texte intégral
Résumé :
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.
Styles 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.

Texte intégral
Résumé :
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.
Styles 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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Trouver le texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Résumé :
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.
Styles 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.

Texte intégral
Résumé :
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.
Styles 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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Stochastic Time Petri Nets"

1

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Stochastic Time Petri Nets"

1

Wang, Jiacun. « Stochastic Timed Petri Nets and Stochastic Petri Nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Wang, Jiacun. « Semi-Markovian Stochastic Timed Petri Nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Sauer, Nathalie, et Xiaolan Xie. « Marking optimization of stochastic timed event graphs ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Stochastic Time Petri Nets"

1

Lask, Timo. « Stochastic time petri nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Dong, Ming, et Jianzhong Cha. « Using CIMOSA and Stochastic Time Petri Nets for Behaviour Modeling of CIM Systems ». Dans 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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Boonyawat, Supattra, et Wiwat Vatanawood. « Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Stochastic Time Petri Nets"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Stochastic Time Petri Nets » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie