Littérature scientifique sur le sujet « Stochatic Time Petri Net »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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 « Stochatic Time Petri Net ».
À 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 "Stochatic Time Petri Net"
Coman, Daniela, et Adela Ionescu. « Simulation and Performance Analysis of a FMS/CIM Using Stochastic Timed Petri Nets ». Advanced Materials Research 837 (novembre 2013) : 322–27. http://dx.doi.org/10.4028/www.scientific.net/amr.837.322.
Texte intégralComan, 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égralProß, Sabrina, et Bernhard Bachmann. « An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica ». Journal of Integrative Bioinformatics 8, no 1 (1 mars 2011) : 1–34. http://dx.doi.org/10.1515/jib-2011-152.
Texte intégralLU, 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.
Texte intégralShailesh, Tanuja, Ashalatha Nayak et Devi Prasad. « An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net ». Computers 9, no 4 (27 novembre 2020) : 94. http://dx.doi.org/10.3390/computers9040094.
Texte intégralLi, Xiao Zhong, et Yi Jie Ding. « Knowledge Flow Modeling and Analysis in Supply Chain Based on Stochastic Petri Net ». Advanced Materials Research 459 (janvier 2012) : 381–85. http://dx.doi.org/10.4028/www.scientific.net/amr.459.381.
Texte intégralAguiar, M. W. C., et 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 (août 1993) : 147–58. http://dx.doi.org/10.1243/pime_proc_1993_207_075_02.
Texte intégralShahzadi, Shabnam, Xianwen Fang et David Anekeya Alilah. « Role of Stochastic Petri Net (SPN) in Process Discovery for Modelling and Analysis ». Mathematical Problems in Engineering 2021 (30 juin 2021) : 1–7. http://dx.doi.org/10.1155/2021/8699164.
Texte intégralHaas, 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égralAmmar, H. H., et S. M. R. Islam. « Time scale decomposition of a class of generalized stochastic Petri net models ». IEEE Transactions on Software Engineering 15, no 6 (juin 1989) : 809–20. http://dx.doi.org/10.1109/32.24734.
Texte intégralThèses sur le sujet "Stochatic Time Petri Net"
Rau, de Almeida Callou Gustavo. « Energy consumption and execution time estimation of embedded system applications ». Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1877.
Texte intégralNos ú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.
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égralMICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING
Bibliography: leaves 305-310.
by Richard Paul Wiley.
Sc.D.
Rogge-Solti, Andreas, Laura Vana et Jan Mendling. « Time Series Petri Net Models - Enrichment and Prediction ». CEUR Workshop Proceedings, 2015. http://epub.wu.ac.at/5394/1/paper8.pdf.
Texte intégralTabacchi, 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égralThesis 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.
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.
Texte intégralEmbedded 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.
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.
Texte intégralTAVARES, 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.
Texte intégralAtualmente, 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
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.
Texte intégralBaldellon, 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.
Texte intégralĎ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égralLivres sur le sujet "Stochatic Time Petri Net"
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égralInstitute 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égralInstitute 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égralSeatzu, Carla. Control of Discrete-Event Systems : Automata and Petri Net Perspectives. London : Springer London, 2013.
Trouver le texte intégralKaratkevich, Andrei. Dynamic Analysis of Petri Net-Based Discrete Systems. Springer London, Limited, 2007.
Trouver le texte intégralDynamic Analysis of Petri Net-Based Discrete Systems. Springer, 2007.
Trouver le texte intégralControl Of Discreteevent Systems Automata And Petri Net Perspectives. Springer, 2012.
Trouver le texte intégralSilva, Manuel, Carla Seatzu et Jan H. van Schuppen. Control of Discrete-Event Systems : Automata and Petri Net Perspectives. Springer, 2012.
Trouver le texte intégralChapitres de livres sur le sujet "Stochatic Time Petri Net"
Popova-Zeugmann, Louchka. « The Classic Petri Net ». Dans Time and Petri Nets, 7–30. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41115-1_2.
Texte intégralSolti, Andreas, Laura Vana et Jan Mendling. « Time Series Petri Net Models ». Dans 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.
Texte intégralYang, Maoqiang. « Time Petri Net-Based Software Reliability Analysis ». Dans 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.
Texte intégralJuan, Eric Y. T., et Jeffrey J. P. Tsai. « Delay Time Petri Nets and Net Reduction ». Dans 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.
Texte intégralSauer, 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égralXie, 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égralFleischhack, Hans, et Christian Stehno. « Computing a Finite Prefix of a Time Petri Net ». Dans 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.
Texte intégralHé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égralGarcía, F. J., et J. L. Villarroel. « Translating Time Petri Net Structures in Ada 95 Statements ». Dans 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.
Texte intégralRust, Carsten, Jürgen Tacken et Carsten Böke. « Pr/T-Net Based Seamless Design of Embedded Real-Time Systems ». Dans 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.
Texte intégralActes de conférences sur le sujet "Stochatic Time Petri Net"
Dingle, Nicholas J., Peter G. Harrison et William J. Knottenbelt. « Response time densities in generalised stochastic petri net models ». Dans the third international workshop. New York, New York, USA : ACM Press, 2002. http://dx.doi.org/10.1145/584369.584377.
Texte intégralDong, 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égralEinafshar, 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égralKumar, Girish, Vipul Jain et O. P. Gandhi. « Reliability and Availability Modeling of Mechanical Systems Using Stochastic Petri Net ». Dans ASME 2011 Power Conference collocated with JSME ICOPE 2011. ASMEDC, 2011. http://dx.doi.org/10.1115/power2011-55325.
Texte intégralKhan, Razib Hayat, et Jonayet Miah. « Performance Evaluation of a new one-time password (OTP) scheme using stochastic petri net (SPN) ». Dans 2022 IEEE World AI IoT Congress (AIIoT). IEEE, 2022. http://dx.doi.org/10.1109/aiiot54504.2022.9817203.
Texte intégralBenarbia, Taha, Karim Labadi, A. Moumen Darcherif, Jean-Pierre Barbot et Abdelhafid Omari. « Real-time inventory control and rebalancing in bike-sharing systems by using a stochastic Petri net model ». Dans 2013 3rd International Conference on Systems and Control (ICSC). IEEE, 2013. http://dx.doi.org/10.1109/icosc.2013.6750920.
Texte intégralSelvakumar, K., et K. Latha. « An approach of disease-drug interaction model with Stochastic Petri Net ». Dans 2017 Trends in Industrial Measurement and Automation (TIMA). IEEE, 2017. http://dx.doi.org/10.1109/tima.2017.8064813.
Texte intégralCao, Ruimin, Lina Hao, Guoli Bai et Qiang Gao. « Characteristic analysis of hybrid stochastic timed petri net ». Dans 2018 Chinese Control And Decision Conference (CCDC). IEEE, 2018. http://dx.doi.org/10.1109/ccdc.2018.8407810.
Texte intégralHamdani, Abdia, et Abdelkrim Abdelli. « Time Petri net with rendezvous ». Dans 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2017. http://dx.doi.org/10.1109/codit.2017.8102578.
Texte intégralWang, Jiacun, Jiarui Tian et Ruoyan Sun. « Emergency healthcare resource requirement analysis : A stochastic timed Petri net approach ». Dans 2018 IEEE 15th International Conference on Networking, Sensing and Control (ICNSC). IEEE, 2018. http://dx.doi.org/10.1109/icnsc.2018.8361301.
Texte intégral