Relevant bibliographies by topics / Petri nets Computer simulation

Academic literature on the topic 'Petri nets Computer simulation'

Author: Grafiati
Published: 10 December 2022
Last updated: 29 January 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 'Petri nets Computer simulation.'

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 "Petri nets Computer simulation"

1

Kumar, M. P. Subodh, and Y. N. Srikant. "Graphical simulation of Petri Nets." Computers & Graphics 10, no. 3 (January 1986): 225–28. http://dx.doi.org/10.1016/0097-8493(86)90006-3.

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

Chen, S. W., C. Y. Fang, and K. E. Chang. "Neural simulation of Petri nets." Parallel Computing 25, no. 2 (February 1999): 183–207. http://dx.doi.org/10.1016/s0167-8191(98)00107-0.

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

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
4

Bauman, Ron, and Tom A. Turano. "Production based language simulation of Petri nets." SIMULATION 47, no. 5 (November 1986): 191–98. http://dx.doi.org/10.1177/003754978604700503.

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

Zaitsev, D. A. "Switched LAN simulation by colored Petri nets." Mathematics and Computers in Simulation 65, no. 3 (April 2004): 245–49. http://dx.doi.org/10.1016/j.matcom.2003.12.004.

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

HARDY, SIMON, and PIERRE N. ROBILLARD. "MODELING AND SIMULATION OF MOLECULAR BIOLOGY SYSTEMS USING PETRI NETS: MODELING GOALS OF VARIOUS APPROACHES." Journal of Bioinformatics and Computational Biology 02, no. 04 (December 2004): 619–37. http://dx.doi.org/10.1142/s0219720004000764.

Full text
Abstract:
Petri nets are a discrete event simulation approach developed for system representation, in particular for their concurrency and synchronization properties. Various extensions to the original theory of Petri nets have been used for modeling molecular biology systems and metabolic networks. These extensions are stochastic, colored, hybrid and functional. This paper carries out an initial review of the various modeling approaches based on Petri net found in the literature, and of the biological systems that have been successfully modeled with these approaches. Moreover, the modeling goals and possibilities of qualitative analysis and system simulation of each approach are discussed.
APA, Harvard, Vancouver, ISO, and other styles
7

Haas, Peter J., and Gerald S. Shedler. "Regenerative stochastic Petri nets." Performance Evaluation 6, no. 3 (September 1986): 189–204. http://dx.doi.org/10.1016/0166-5316(86)90017-9.

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

Liu, Fei, and Ming Yang. "Compositional colored Petri net approach to multiscale modeling for systems biology." International Journal of Modeling, Simulation, and Scientific Computing 05, no. 04 (September 29, 2014): 1450017. http://dx.doi.org/10.1142/s1793962314500172.

Full text
Abstract:
Colored Petri nets have been demonstrated as a powerful tool for modeling multiscale systems biology. However, the construction of colored Petri nets for biological systems requires prior knowledge about colored Petri nets and is often error-prone and cumbersome for biologists, especially when the communication between components and hierarchical organization of components in a multiscale model are an issue. To address this problem, an established way is to develop small components and then compose them into bigger models. In this paper, we present a compositional colored Petri net approach to aid automatic modeling of systems biology, and demonstrate it with two case studies. We focus on the modeling of communication between components and hierarchical organization of components as they are key to build multiscale models.
APA, Harvard, Vancouver, ISO, and other styles
9

Zinkin, S. A., Mustafa Sadeq Jaafar, and N. S. Karamysheva. "CONCEPTUAL REPRESENTATIONS AND MODIFICATIONS OF PETRI NETS FOR APPLICATIONS IN THE AREA OF SYNTHESIS OF A FUNCTIONAL ARCHITECTURE OF DISTRIBUTED COMPUTATIONAL SYSTEMS WITH VARIABLE STRUCTURE." Proceedings of the Southwest State University 22, no. 6 (March 27, 2019): 143–67. http://dx.doi.org/10.21869/2223-1560-2018-22-6-143-167.

Full text
Abstract:
Background. The object of the research is the functional architecture of distributed computing systems with a variable (reconfigurable) structure characteristic of hybrid systems of cloud-network (grid) type. Despite the fact that Petri nets have long been studied both theoretically and practically, the methods of their interpretation continue to develop intensively. At present, the problem of embedding Petri nets in the architecture of distributed network applications used to implement global computing in modern mixed cloud, grid and cluster systems has not been sufficiently studied. It is shown that in modern studies, Petri nets are used mainly in the simulation of discrete systems and processes, and not as the basis for formalized specifications in the development of distributed applications. In this regard, the interpretation of Petri nets in applications to the functional architecture of distributed computing systems with a variable structure based on the network software of the intermediate class (middleware class) is relevant. The aim of the work was the integration of graphical representations of conceptual graphs, semantic networks, scenarios and Petri nets, which made it possible to create effective tools with graphical support for designing a functional architecture of distributed computing systems with a variable structure and, in particular, a cloudy architecture of the NCaaSoD type - Network Computing as a Service on Demand (network computing as a cloud service at the request of the user).Materials and methods. The conceptual models of distributed processes that are a graphical interpretation of the first-order predicate calculus are used. Conceptual graphs for distributed Petri nets of mixed type have been proposed, which allow describing computation processes in global computational networks with a view to their subsequent implementation. Results. Based on the integration of graphical representations of conceptual graphs, semantic networks, scenarios and Petri nets, conceptual representations of distributed reconfigurable Petri nets are proposed, allowing them to be directly integrated into the architecture of the computer network.Results. New conceptual-behavioral models based on conceptual graphs of distributed Petri nets have been proposed to determine the system and functional architectures of distributed computing systems with a variable structure provided to the user as a hybrid cloud-based network service; these models are distinguished by the possibility of operational reconfiguration and immediate execution.Conclusion. A method was proposed and formalized for embedding conceptual Petri nets into the architecture of cloud-networked computer systems such as NCaaSoD — network (cloud) computing as a service organized at the user's request. The rules for obtaining relations of connectivity between the positions and transitions of the Petri net, placed on the nodes of the physical computer network, are proposed.
APA, Harvard, Vancouver, ISO, and other styles
10

Kanich, Ondřej, and Martin Drahanský. "Simulation of synthetic fingerprint generation using Petri nets." IET Biometrics 6, no. 6 (April 11, 2017): 402–8. http://dx.doi.org/10.1049/iet-bmt.2016.0041.

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

Dissertations / Theses on the topic "Petri nets Computer simulation"

1

Sellami, Hatem. "Parallel simulation of marked graphs." Diss., Georgia Institute of Technology, 1995. http://hdl.handle.net/1853/13045.

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

Jones, Robert Linzey III. "Simulation and numerical solution of stochastic Petri nets with discrete and continuous timing." W&M ScholarWorks, 2002. https://scholarworks.wm.edu/etd/1539623410.

Full text
Abstract:
We introduce a novel stochastic Petri net formalism where discrete and continuous phase-type firing delays can appear in the same model. By capturing deterministic and generally random behavior in discrete or continuous time, as appropriate, the formalism affords higher modeling fidelity and efficiencies to use in practice. We formally specify the underlying stochastic process as a general state space Markov chain and show that it is regenerative, thus amenable to renewal theory techniques to obtain steady-state solutions. We present two steady-state analysis methods depending on the class of problem: one using exact numerical techniques, the other using simulation. Although regenerative structures that ease steady-state analysis exist in general, a noteworthy problem class arises when discrete-time transitions are synchronized. In this case, the underlying process is semi-regenerative and we can employ Markov renewal theory to formulate exact and efficient numerical solutions for the stationary distribution. We propose a solution method that shows promise in terms of time and space efficiency. Also noteworthy are the computational tradeoffs when analyzing the "embedded" versus the "subordinate" Markov chains that are hidden within the original process. In the absence of simplifying assumptions, we propose an efficient regenerative simulation method that identifies hidden regenerative structures within continuous state spaces. The new formalism and solution methods are demonstrated with two applications.
APA, Harvard, Vancouver, ISO, and other styles
3

Mabry, Ryan. "Gate Level Dynamic Energy Estimation In Asynchronous Circuits Using Petri Nets." Scholar Commons, 2007. http://scholarcommons.usf.edu/etd/3826.

Full text
Abstract:
This thesis introduces a new methodology for energy estimation in asynchronous circuits. Unlike existing probabilistic methods, this is the first simulative work for energy estimation in all types of asynchronous circuits. The new simulative methodology is based on Petri net modeling. A real delay model is incorporated to capture both gate delays and interconnect delays. The switching activity at each gate is captured to measure the average dynamic energy consumed per request/acknowledge handshaking pair. The new type of Petri net is called Hierarchical Colored Asynchronous Hardware Petri net (HCAHPN). The HCAHPN is able to capture the temporal and spatial correlations of signals within a circuit, while preserving gate logic behavior and timing information. While Petri nets have been previously used for simulating combinational and sequential circuits, this is the first work that uses Petri nets for simulating asynchronous circuits. While different asynchronous design styles make various assumptions on the gate and wire delays present with the circuit, the physical implementations of these circuits always have gate and interconnect delays. Unlike previous methods, the proposed methodology is independent of the asynchronous design style used and it can be adapted for all types of asynchronous circuits that use handshaking communication.
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Yi-ke. "Using an extended object model for object-oriented parallel simulation of VLSI microprocessors /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9823320.

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

Habib, Zadeh Esmaeil. "Modelling and Quantitative Analysis of Performance vs Security Trade-offs in Computer Networks: An investigation into the modelling and discrete-event simulation analysis of performance vs security trade-offs in computer networks, based on combined metrics and stochastic activity networks (SANs)." Thesis, University of Bradford, 2017. http://hdl.handle.net/10454/17412.

Full text
Abstract:
Performance modelling and evaluation has long been considered of paramount importance to computer networks from design through development, tuning and upgrading. These networks, however, have evolved significantly since their first introduction a few decades ago. The Ubiquitous Web in particular with fast-emerging unprecedented services has become an integral part of everyday life. However, this all is coming at the cost of substantially increased security risks. Hence cybercrime is now a pervasive threat for today’s internet-dependent societies. Given the frequency and variety of attacks as well as the threat of new, more sophisticated and destructive future attacks, security has become more prevalent and mounting concern in the design and management of computer networks. Therefore equally important if not more so is security. Unfortunately, there is no one-size-fits-all solution to security challenges. One security defence system can only help to battle against a certain class of security threats. For overall security, a holistic approach including both reactive and proactive security measures is commonly suggested. As such, network security may have to combine multiple layers of defence at the edge and in the network and in its constituent individual nodes. Performance and security, however, are inextricably intertwined as security measures require considerable amounts of computational resources to execute. Moreover, in the absence of appropriate security measures, frequent security failures are likely to occur, which may catastrophically affect network performance, not to mention serious data breaches among many other security related risks. In this thesis, we study optimisation problems for the trade-offs between performance and security as they exist between performance and dependability. While performance metrics are widely studied and well-established, those of security are rarely defined in a strict mathematical sense. We therefore aim to conceptualise and formulate security by analogy with dependability so that, like performance, it can be modelled and quantified. Having employed a stochastic modelling formalism, we propose a new model for a single node of a generic computer network that is subject to various security threats. We believe this nodal model captures both performance and security aspects of a computer node more realistically, in particular the intertwinements between them. We adopt a simulation-based modelling approach in order to identify, on the basis of combined metrics, optimal trade-offs between performance and security and facilitate more sophisticated trade-off optimisation studies in the field. We realise that system parameters can be found that optimise these abstract combined metrics, while they are optimal neither for performance nor for security individually. Based on the proposed simulation modelling framework, credible numerical experiments are carried out, indicating the scope for further work extensions for a systematic performance vs security tuning of computer networks.
APA, Harvard, Vancouver, ISO, and other styles
6

Propes, Nicholas Chung. "Hybrid Systems Diagnosis and Control Reconfiguration for Manufacturing Systems." Diss., Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/5150.

Full text
Abstract:
A methodology for representing and analyzing manufacturing systems in a hybrid systems framework for control reconfiguration purposes in the presence of defects and failures at the product and system levels is presented. At the top level, a supervisory Petri net directs parts/jobs through the manufacturing system. An object-based hybrid systems model that incorporates both Petri nets at the event-driven level and differential equations at the time-driven level describes the subsystems. Rerouting capabilities utilizing this model at the product and operation levels were explained. Simulations were performed on a testbed model for optimal time and mode transition cost to determine the route for parts. The product level reconfiguration architecture utilizes an adaptive network-based fuzzy inference system (ANFIS) to map histogram comparison metrics to set-point adjustments when product defects were detected. Tests were performed on good and defective plastic parts from a plastic injection molding machine. In addition, a mode identification architecture was described that incorporates both time- and event-driven information to determine the operating mode of a system from measured sensor signals. Simulated data representing the measured process signals from a Navy ship chiller system were used to verify that the appropriate operating modes were detected.
APA, Harvard, Vancouver, ISO, and other styles
7

Soltani-Moghaddam, Alireza. "Network simulator design with extended object model and generalized stochastic petri-net /." free to MU campus, to others for purchase, 2000. http://wwwlib.umi.com/cr/mo/fullcit?p9999317.

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

Wang, Xiaobo. "Design and Implementation of a Tool for Modeling, Simulation and Verification of Component-based Embedded Systems." Thesis, Linköping University, Department of Computer and Information Science, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2655.

Full text
Abstract:

Nowadays, embedded systems are becoming more and more complex. For this reason, designers focus more and more to adopt component-based methods for their designs. Consequently, there is an increasing interest on modeling and verification issues of component-based embedded systems.

In this thesis, a tool, which integrates modeling, simulation and verification of component-based embedded systems, is designed and implemented. This tool uses the PRES+, Petri Net based Representation for Embedded Systems, to model component-based embedded systems. Both simulation and verification of systems are based on the PRES+ models.

This tool consists of three integrated sub-tools, each of them with a graphical interface, the PRES+ Modeling tool, the PRES+ Simulation tool and the PRES+ Verification tool. The PRES+ Modeling tool is a graphical editor, with which system designers can model component-based embedded systems easily. The PRES+ Simulation tool, which is used to validate systems, visualizes the execution of a model in an intuitive manner. The PRES+ Verification tool provides a convenient access to a model checker, in which models can be formally verified with respect to temporal logic formulas.

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

Kyratzoglou, I. M. (Ioannis M. ). "Computer aided design for Petri Nets." Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/14669.

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

Djemame, Karim. "Distributed simulation of high-level algebraic Petri nets." Thesis, University of Glasgow, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.301624.

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

Books on the topic "Petri nets Computer simulation"

1

Susanna, Donatelli, Kleijn Jetty, and SpringerLink (Online service), eds. Transactions on Petri Nets and Other Models of Concurrency V. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

Jensen, K. Transactions on petri nets and other models of concurrency III. Berlin: Springer, 2009.

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

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. 2nd ed. Berlin: Springer, 1996.

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

Jensen, Kurt. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992.

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

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. 2nd ed. Berlin: Springer, 1997.

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

Jensen, Kurt. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996.

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

Jensen, Kurt. Coloured Petri Nets, Vol. 3: Basic Concepts, Analysis Methods and Practical Use. Berlin: Springer, 1997.

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

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Berlin: Springer-Verlag, 1992.

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

Jensen, Kurt. Coloured Petri Nets, Vol. 3: Basic Concepts, Analysis Methods and Practical Use. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997.

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

Nicol, David. [Parallelizing timed petri net simulations]: Final report, NASA grant NAG-1-1060. Washington, DC: National Aeronautics and Space Administration, 1993.

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

Book chapters on the topic "Petri nets Computer simulation"

1

Skorupski, Jacek. "Airport Traffic Simulation Using Petri Nets." In Communications in Computer and Information Science, 468–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41647-7_57.

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

Kummer, Olaf, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk. "An Extensible Editor and Simulation Engine for Petri Nets: Renew." In Lecture Notes in Computer Science, 484–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27793-4_29.

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

Kočí, Radek, and Vladimír Janoušek. "Simulation Based Design of Control Systems Using DEVS and Petri Nets." In Computer Aided Systems Theory - EUROCAST 2009, 849–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04772-5_109.

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

Carvalho, Rafael V., Willem Davids, Annemarie H. Meijer, and Fons J. Verbeek. "Spatio-temporal Modeling and Simulation of Mycobacterium Pathogenesis Using Petri Nets." In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 236–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32711-7_23.

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

Yang, Wei, ZhiGang Bing, GuiPing Yi, and QuanLi Li. "Modeling and Optimization Algorithm of FMS Logistics System Based on Petri Nets and PSO." In Advanced Research on Computer Education, Simulation and Modeling, 359–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21783-8_59.

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

Polo Martín, M. José, Luis A. Miguel Quintales, and María N. Moreno García. "A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets." In Lecture Notes in Computer Science, 351–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27793-4_20.

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

Vanit-Anunchai, Somsak. "Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System." In Lecture Notes in Computer Science, 214–30. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1_15.

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

Haas, Peter J. "Regenerative Simulation." In Stochastic Petri Nets, 189–273. New York, NY: Springer New York, 2002. http://dx.doi.org/10.1007/0-387-21552-2_6.

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

Haas, Peter J. "Alternative Simulation Methods." In Stochastic Petri Nets, 275–319. New York, NY: Springer New York, 2002. http://dx.doi.org/10.1007/0-387-21552-2_7.

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

Wang, Jiacun, and William Tepfenhart. "Petri Nets." In Formal Methods in Computer Science, 201–43. Boca Raton : Taylor & Francis, a CRC title, part of the Taylor & Francis imprint, a member of the Taylor & Francis Group, the academic division of T&F Informa, plc, 2019.: Chapman and Hall/CRC, 2019. http://dx.doi.org/10.1201/9780429184185-8.

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

Conference papers on the topic "Petri nets Computer simulation"

1

Cintra, Marcelo H., and Wilson V. Ruggiero. "A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets." In Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho. Sociedade Brasileira de Computação, 1995. http://dx.doi.org/10.5753/sbac-pad.1995.19889.

Full text
Abstract:
The developments in the field of computer architecture, especially parallel systems, lead to the design of even more complex architectures, making it difficult to take decisions that would increase the performance of the system. In order to analyze objectively the advantages of different architectural choices, it is important to have modeling and analysis techniques and tools that can efficiently acquire data about the system's performance. Petri nets have been used successfully as a modeling tool for computer architectures. However, the analysis of the complex nets needed to model real systerns has become a lirniting factor for using Petri nets. To efficiently use Petri nets for modeling these complex systems, one needs powerful computer simulation tools. In this pape r we present the program RP_SIM, an object oriented tool for the simulation of Petri nets. We use this simulator to analyze a simple computer architecture model, showing the viability of the use of Petri nets, together with the tool presented, to model general computer architectures.
APA, Harvard, Vancouver, ISO, and other styles
2

Koci, Radek, Vladimir Janousek, and Frantisek Zboril Jr. "Object Oriented Petri Nets Modelling Techniques Case Study." In 2008 Second UKSIM European Symposium on Computer Modeling and Simulation (EMS). IEEE, 2008. http://dx.doi.org/10.1109/ems.2008.59.

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

Badawy, Asmaa, Mostafa Herajy, Wael Awad, and Monika Heiner. "Distributed Simulation of Bio-interpreted (Coloured) Stochastic Petri Nets." In 2018 13th International Conference on Computer Engineering and Systems (ICCES). IEEE, 2018. http://dx.doi.org/10.1109/icces.2018.8639484.

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

Davidrajuh, R. "Realizing Simple Petri Net Models for Complex and Large Scheduling Problems: An Approach Based Activity-Oriented Petri Nets." In 2013 UKSim 15th International Conference on Computer Modelling and Simulation (UKSim 2013). IEEE, 2013. http://dx.doi.org/10.1109/uksim.2013.32.

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

Mušic, Gašper, Thomas Löscher, and Felix Breitenecker. "Simulation Based Scheduling Applying Petri Nets with Sequences and Priorities." In Tenth International Conference on Computer Modeling and Simulation (uksim 2008). IEEE, 2008. http://dx.doi.org/10.1109/uksim.2008.61.

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

Meier, Philipp, Samuel Kounev, and Heiko Koziolek. "Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets." In Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, 2011. http://dx.doi.org/10.1109/mascots.2011.23.

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

Jung, Matthias, Kira Kraft, and Norbert Wehn. "A new state model for DRAMs using Petri Nets." In 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). IEEE, 2017. http://dx.doi.org/10.1109/samos.2017.8344631.

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

Balsamo, Simonetta, Andrea Marin, and Ivan Stojic. "Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams." In 2015 IEEE 23rd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, 2015. http://dx.doi.org/10.1109/mascots.2015.30.

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

Mahmood, I., R. Ayani, V. Vlassov, and F. Moradi. "Composability Verification of Real Time System Models Using Colored Petri Nets." In 2013 UKSim 15th International Conference on Computer Modelling and Simulation (UKSim 2013). IEEE, 2013. http://dx.doi.org/10.1109/uksim.2013.49.

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

Capra, Lorenzo. "A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets." In Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, 2010. http://dx.doi.org/10.1109/mascots.2010.65.

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

Reports on the topic "Petri nets Computer simulation"

1

Clegg, Benjamin Wyatt, David H. Collins, Jr., and Aparna V. Huzurbazar. Petri Nets for Adversarial Models using Monte Carlo Simulation. Office of Scientific and Technical Information (OSTI), September 2018. http://dx.doi.org/10.2172/1473775.

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

DiLeo, John J. Use of Petri Nets in the Simulation of Command and Control Systems. Fort Belvoir, VA: Defense Technical Information Center, October 1994. http://dx.doi.org/10.21236/ada289942.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Petri nets Computer simulation' 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