Relevant bibliographies by topics / Stochastic Time Petri Nets

Academic literature on the topic 'Stochastic Time Petri Nets'

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 'Stochastic Time Petri Nets.'

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 "Stochastic Time Petri Nets"

1

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

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

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

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

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
4

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

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

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

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

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

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

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

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
9

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

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

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

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

Dissertations / Theses on the topic "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.

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

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

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

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
5

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

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

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

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

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

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

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

Books on the topic "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.

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

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

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

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

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

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

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

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

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

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

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

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

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

Gianfranco, Ciardo, and 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.

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

Book chapters on the topic "Stochastic Time Petri Nets"

1

Wang, Jiacun. "Stochastic Timed Petri Nets and Stochastic Petri Nets." In 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.

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

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

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

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

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

Wang, Jiacun. "Semi-Markovian Stochastic Timed Petri Nets." In 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.

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

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

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

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

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

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

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

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

Conference papers on the topic "Stochastic Time Petri Nets"

1

Lask, Timo. "Stochastic time petri nets." In 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.

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

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

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

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

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

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

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

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

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

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
8

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

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

Boonyawat, Supattra, and Wiwat Vatanawood. "Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets." In 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.

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

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

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

Reports on the topic "Stochastic Time Petri Nets"

1

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

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