Relevant bibliographies by topics / Petri nets Computer simulation / Journal articles

Journal articles on the topic 'Petri nets Computer simulation'

To see the other types of publications on this topic, follow the link: 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:

Consult the top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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
11

Kłosowski, Grzegorz, Arkadiusz Gola, and Antoni Świć. "Human Resource Selection for Manufacturing System Using Petri Nets." Applied Mechanics and Materials 791 (September 2015): 132–40. http://dx.doi.org/10.4028/www.scientific.net/amm.791.132.

Full text
Abstract:
Proper selection of personnel constitutes a frequent challenge for the management of many enterprises. In this paper the above problem has been defined using three objective functions which required simultaneous optimisation. To solve this problem, computer modelling based on Petri nets was proposed. The model was subjected to iterative computer simulation, during which various variants of workstation assignment were tested. This resulted in the emergence of a variant which best fulfilled the assumed optimisation criteria.
APA, Harvard, Vancouver, ISO, and other styles
12

Tricas, Fernando, and Javier Martı́nez. "Distributed control systems simulation using high level Petri nets." Mathematics and Computers in Simulation 46, no. 1 (April 1998): 47–55. http://dx.doi.org/10.1016/s0378-4754(97)00157-2.

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

Liu, Fei, and Hongmei Zhang. "A class of extended time Petri nets for modeling and simulation of discrete event systems." SIMULATION 94, no. 8 (December 7, 2017): 753–62. http://dx.doi.org/10.1177/0037549717742716.

Full text
Abstract:
Time Petri nets (TPNs) have been widely used for modeling discrete event systems such as manufacturing, supply chain, and military systems. However, TPNs still have many drawbacks in some scenarios where an operation or process is associated with probability, and also lack appropriate simulation algorithms for analyzing different types of systems. In this paper, we address these two issues by proposing a class of extended time Petri nets (ETPNs) and presenting an appropriate simulation algorithm. We illustrate and validate our approach using a hypothetic command and control system, which shows that this approach could be a powerful tool for modeling and analyzing discrete event systems.
APA, Harvard, Vancouver, ISO, and other styles
14

Choi, Hoon, Vidyadhar G. Kulkarni, and Kishor S. Trivedi. "Markov regenerative stochastic Petri nets." Performance Evaluation 20, no. 1-3 (May 1994): 337–57. http://dx.doi.org/10.1016/0166-5316(94)90021-3.

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

Baccelli, François, and Miguel Canales. "Parallel simulation of stochastic petri nets using recurrence equations." ACM SIGMETRICS Performance Evaluation Review 20, no. 1 (June 1992): 257–58. http://dx.doi.org/10.1145/149439.133156.

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

Ding, Zouhua, Horst Bunke, Oscar Kipersztok, Mti Schneider, and Abraham Kandel. "Fuzzy timed Petri nets — analysis and implementation." Mathematical and Computer Modelling 43, no. 3-4 (February 2006): 385–400. http://dx.doi.org/10.1016/j.mcm.2005.11.005.

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

Orlov, Sergey P., Sergey V. Susarev, and Roman A. Uchaikin. "Application of Hierarchical Colored Petri Nets for Technological Facilities’ Maintenance Process Evaluation." Applied Sciences 11, no. 11 (May 31, 2021): 5100. http://dx.doi.org/10.3390/app11115100.

Full text
Abstract:
The high reliability of modern engineering systems is achieved by performing predictive maintenance. Mathematical models based on stochastic timed colored Petri nets are an effective tool for developing complex production processes for Industry 4.0. This article discusses the maintainability evaluation used in hierarchical Petri net models. The hierarchical simulation model was built using timed colored Petri nets, and was constructed with four levels of repair and maintenance modules. New module structures are proposed for simulating the schedule of production tasks and interaction with technological units. The emphasis is on the processes of predicting maintenance and repair, moving units to service, replacing units, and forming a reserve. The design of the simulation modules allows the setting of probabilistic parameters for the distributions of equipment failures, requests for unit maintenance, repair time, and recovery time after repair. The article proposes to use the hierarchical Petri model in conjunction with solving the problem of minimizing the cost of service. The iterative procedure consists of obtaining an approximate unit distribution by tasks, subsequent simulation of the technological process, and adjusting the optimization problem constraints. For example, the hierarchical Petri net is considered to assess the maintainability of autonomous agricultural vehicles. The results of the simulation experiments are presented. A simulation of the agrotechnical production process was performed, during which vehicles were maneuvered, taken out for repair or maintenance, and returned to the reserve fund. The interdependencies of preventive maintenance periods, service operations, failure rates, and predictive maintenance requests were obtained in order to comply with the task scheduling. The proposed model is a generalization, but it is especially effective in studying mobile equipment servicing.
APA, Harvard, Vancouver, ISO, and other styles
18

ROY CHOWDHURY, DIPANWITA, and INDRANIL SEN GUPTA. "Modelling and simulation of combinational digital circuits using Petri nets." International Journal of Systems Science 21, no. 8 (August 1990): 1503–13. http://dx.doi.org/10.1080/00207729008910472.

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

Gudiño-Mendoza, Berenice, Ernesto López-Mellado, and Hassane Alla. "Modeling and simulation of water distribution systems using timed hybrid Petri nets." SIMULATION 88, no. 3 (January 19, 2011): 329–47. http://dx.doi.org/10.1177/0037549710388749.

Full text
Abstract:
This paper deals with modeling and simulation of water distribution systems using Hybrid Petri Nets. A methodology for building a Timed Hybrid Petri Net (THPN) model is proposed; the model is derived from a set of equations describing conservation of mass and energy that specify the behaviour of a water distribution network. A simulation technique for the execution of a THPN in which the transitions firing velocities are established from the linearised conservation of energy equations is presented; it shows both transient and steady state for the analysis of hydraulic networks. Based on this technique, a simulator in Matlab has been developed.
APA, Harvard, Vancouver, ISO, and other styles
20

Zacek, Jaroslav, Frantisek Hunka, and Zdenek Melis. "Modeling the value chain with object-valued Petri Nets." WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS 18 (December 31, 2021): 156–61. http://dx.doi.org/10.37394/23209.2021.18.19.

Full text
Abstract:
A substantial part of the economic theories is based on conversion and exchange process. This process can be described as a value chain, which can be considered as a cyclic model with complex attributes. There is a serious problem how to express resources and their conversions in a complex cyclic model during the simulation and how to identify these converted resources in every step of the simulation. This paper introduces the Objectvalued Petri (OV-PN) modification as a new formalism to create a cyclic model of the value chain. According to the modification we had to define a new path and pass of the OV-PN. We also had to determine new properties. Properties are based on the OV-PN and reflect needs of model requirements. A new formalism is verified on a common enterprise value chain.
APA, Harvard, Vancouver, ISO, and other styles
21

Sahota, Vijay, Maozhen Li, and Marios Hadjinicolaou. "Modeling Scalable Grid Information Services with Colored Petri Nets." International Journal of Grid and High Performance Computing 2, no. 1 (January 2010): 51–68. http://dx.doi.org/10.4018/jghpc.2010092804.

Full text
Abstract:
Information services play a crucial role in grid computing environments in that the state information of a grid system can be used to facilitate the discovery of resources and services available to meet user requirements and help tune the performance of the grid. This article models PIndex, which is a grouped peer-to-peer network with Colored Petri Nets (CPNs) for scalable grid information services. Based on the CPN model, a simulator is implemented for PIndex simulation and performance evaluation. The correctness of the simulator is further verified by comparing the results computed from the CPN model with the results generated by the PIndex simulator.
APA, Harvard, Vancouver, ISO, and other styles
22

Hüls, Jannik, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, and Anne Remke. "State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings." ACM Transactions on Modeling and Computer Simulation 31, no. 3 (July 31, 2021): 1–37. http://dx.doi.org/10.1145/3449353.

Full text
Abstract:
Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With a single general one-shot transition the state space and evolution over time can be represented either as a Parametric Location Tree or as a Stochastic Time Diagram . Recent work has shown that both representations can be combined and then allow multiple stochastic firings. This work presents an algorithm for building the Parametric Location Tree with multiple general transition firings and shows how its transient probability distribution can be computed using multi-dimensional integration. We discuss the (dis-)advantages of an interval arithmetic and a geometric approach to compute the areas of integration. Furthermore, we provide details on how to perform a Monte Carlo integration either directly on these intervals or convex polytopes, or after transformation to standard simplices. A case study on a battery-backup system shows the feasibility of the approach and discusses the performance of the different integration approaches.
APA, Harvard, Vancouver, ISO, and other styles
23

Dugan, Joanne Bechta. "Panel: Applications of performance Petri Nets." Performance Evaluation 11, no. 1 (April 1990): 75–76. http://dx.doi.org/10.1016/0166-5316(90)90028-h.

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

Pascal, Carlos, and Doru Panescu. "Modeling a holonic agent based solution by Petri nets." Computer Science and Information Systems 9, no. 3 (2012): 1287–305. http://dx.doi.org/10.2298/csis111223031p.

Full text
Abstract:
One of the key design issues for distributed systems is to find proper planning and coordination mechanisms when knowledge and decision capabilities are spread along the system. This contribution refers holonic manufacturing execution systems and highlights the way a proper modeling method - Petri nets - makes evident certain problems that can appear when agents have to simultaneously treat more goals. According to holonic organization the planning phase is mainly dependent on finding an appropriate resource allocation mechanism. The type of weakness is established by means of the proposed Petri net models and further proved by simulation experiments. A solution to make the holonic scheme avoid a failure in resource allocation is mentioned, too.
APA, Harvard, Vancouver, ISO, and other styles
25

Lakhno, Valerii, Victor Smolii, Andrii Blozva, Dmytro Kasatkin, Tetiana Osypova, and Maksym Misiura. "MODEL OF ADAPTIVE ACCESS RIGHTS MANAGEMENT USING PETRI NETS." Cybersecurity: Education, Science, Technique 3, no. 15 (2022): 135–47. http://dx.doi.org/10.28925/2663-4023.2022.15.135147.

Full text
Abstract:
The article describes the conceptual model of adaptive management of cybersecurity of the information and educational environment of a modern university (IOSU). Petri nets are used as a mathematical apparatus to solve the problem of adaptive management of access rights of IOS users. A simulation model is proposed and modeling in PIPE v4.3.0 package is performed. The possibility of automating the procedures of user profile adjustment to minimize or neutralize cyber threats in IOS is shown. The model of distribution of tasks of the user in computer networks of IOSU is offered. The model, in contrast to the existing ones, is based on the mathematical apparatus of Petri nets and contains variables that reduce the power of the state space. The method of access control (ICPD) has been supplemented. The additions addressed aspects of the verification of access rights, which are required by the tasks and requirements of the security policy, the degree of coherence of tasks and allowed access to the IOSU nodes. Adjusting security rules and metrics for new tasks or reallocating tasks is described in Petri net notation.
APA, Harvard, Vancouver, ISO, and other styles
26

Ben-Arieh, D., and I. Miron. "Concurrent modeling and simulation of reactive manufacturing systems using Petri nets." Computers & Industrial Engineering 20, no. 1 (January 1991): 45–58. http://dx.doi.org/10.1016/0360-8352(91)90039-9.

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

de Lara, J., C. Ermel, G. Taentzer, and K. Ehrig. "Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets." Electronic Notes in Theoretical Computer Science 109 (December 2004): 17–29. http://dx.doi.org/10.1016/j.entcs.2004.02.053.

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

Zhang, Mei, Fei Feng, Zhilong Zhang, and Jinghua Wen. "A New Business Process Verification Approach for E-Commerce Using Petri Nets." International Journal of Enterprise Information Systems 16, no. 1 (January 2020): 92–107. http://dx.doi.org/10.4018/ijeis.2020010105.

Full text
Abstract:
The design, modeling, optimization, reengineering, and coupling of business processes in e-commerce environment have gradually become a hot research topic. Business processes must be strictly described and validated by formal methods to ensure their reliability and efficiency. This paper systematically studies the introduction of new business process characteristics into behavioral temporal logic and extend TLA to obtain a new logic system PTLA, which enriches the theoretical system of formal method of business process under the environment of e-commerce. The paper also discusses Petri nets and show how to convert Petri nets into TLA. A parallel Petri net model was built to represent the dynamic, concurrency and flexibility, and cross-organizational e-commerce business process. Finally, the use of simulation to extend the business process execution language BPEL to TLA.
APA, Harvard, Vancouver, ISO, and other styles
29

DJEMAME, K. "DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES." Parallel Algorithms and Applications 16, no. 3 (January 2001): 207–41. http://dx.doi.org/10.1080/01495730108935272.

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

Latorre, J. I., and E. Jiménez. "Petri nets with exclusive entities for decision making." International Journal of Simulation and Process Modelling 8, no. 1 (2013): 66. http://dx.doi.org/10.1504/ijspm.2013.055178.

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

Harjono, M. S., A. Halim, and K. Ramli. "Simulation of Improved Hybrid Petri Nets Intersection Model Considering Traffic Distribution." International Journal of Soft Computing 7, no. 4 (April 1, 2012): 217–23. http://dx.doi.org/10.3923/ijscomp.2012.217.223.

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

Sochnev, A. N. "Simulation Petri Net Model in the Tasks of Operational Control of Discrete Production." Mekhatronika, Avtomatizatsiya, Upravlenie 23, no. 6 (June 3, 2022): 309–16. http://dx.doi.org/10.17587/mau.23.309-316.

Full text
Abstract:
The presented article describes the approach to solving the task of discrete production control based on the reference imitation model. A discrete production system, represented by typical technological equipment, was chosen as the object of research. The simulation model uses the mathematical apparatus of temporary Petri nets. A method for automated synthesis of ready-to-use production models has been formed and tested. The method is based on the idea of synthesizing a production process model from models of typical technological processes. In the practice of applying Petri nets, the complexity of developing, subsequent interpretation of models, and, consequently, making changes are factors that significantly hinder their practical use. A new way of influencing the criterion is proposed by setting different incidence ratios in the Petri net. In the structure of the incidence matrix, the invariable and variable parts are distinguished. A method for specifying the structure of the variable part through the vector of parameters is described, which made it possible to use a metaheuristic algorithm for finding its best structure. The problem of optimal production planning defined for the approach described above is formulated. The bioinspired algorithm of jumping frogs is adapted to the search for the best network structure for a given optimality criterion. Changes in the specified algorithm made it possible to reduce the number of search steps, as well as work with discrete type parameters. In the process of solving, the most popular optimality criterion was used. The obtained theoretical results are within the framework of the optimization-simulation approach and are its logical development. The developed approach to solving the problem of optimal production control develops the theory of Petri nets, makes it more suitable for modeling complex systems with a branched structure and a large number of interconnections. On the basis of the developed theoretical provisions, a test example is presented that characterizes the effect of their application. Recommendations for the practical use of the proposed approach in the sense of minimizing the time for making managerial decisions with the required accuracy are determined.
APA, Harvard, Vancouver, ISO, and other styles
33

Hamida, Mohamed Lamine, Hakim Denoun, Arezki Fekik, and Sundarapandian Vaidyanathan. "Control of separately excited DC motor with series multi-cells chopper using PI - Petri nets controller." Nonlinear Engineering 8, no. 1 (January 28, 2019): 32–38. http://dx.doi.org/10.1515/nleng-2017-0174.

Full text
Abstract:
Abstract The separately excited Direct Current (DC) motor is widely used in many industrial sectors. During the operation of the DC motor, the load torque and the voltage of the network can cause a destabilization of the actual speed and actual current. Thus, the need to regulate the speed and current of the DC motor is a very important research problem. In this paper, a control strategy of separately excited DC motor using a series multi-cells chopper is described. The proposed control is based on Proportional-Integral (PI) and Petri nets controllers. Specifically, the conventional PI controller is used to control the speed of DC motor. The Petri nets controller ensures the regulation of the armature current and to maintain the capacitor voltage of the multi-cells converter to its reference. The Petri nets controller also generates binary control switches. The proposed control system has been implemented using MATLAB Sim Power. Simulation results demonstrate that a series multi-cells chopper and the proposed control give a good performance and high robustness in load disturbance for the separately excited DC motor.
APA, Harvard, Vancouver, ISO, and other styles
34

De Bosschere, Koen, and Jalal Almhana. "Performance Evaluation of a Blackboard Using Stochastic Petri Nets." SIMULATION 65, no. 4 (October 1995): 269–78. http://dx.doi.org/10.1177/003754979506500404.

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

Carnevali, Laura, Marco Paolieri, and Enrico Vicario. "The ORIS tool." ACM SIGMETRICS Performance Evaluation Review 49, no. 4 (June 2, 2022): 81–86. http://dx.doi.org/10.1145/3543146.3543164.

Full text
Abstract:
ORIS is a tool for quantitative modeling and evaluation of concurrent systems with non-Markovian durations. It provides a Graphical User Interface (GUI) for model specification as Stochastic Time Petri Nets (STPNs), validation by interactive simulation, and evaluation by several techniques, computing instantaneous and cumulative rewards. It also provides an open-source Java Application Programming Interface (API) to automate the workflow, and it can be used as a toolkit for derivation and evaluation of STPNs in model driven engineering. As distinguishing features, ORIS implements transient and steady-state analysis of STPNs with underlying Markov Regenerative Process (MRP), and transient analysis of STPNs with underlying Generalized Semi- Markov Process (GSMP). It also implements nondeterministic analysis of Time Petri Nets (TPNs), simulation of STPNs, and solution methods for Continuous-Time Markov Chains (CTMCs) and MRPs with at most one non-exponential timer in each state. The well-engineered software architecture of ORIS supports agile implementation of new STPN features, new modeling formalisms, and new analysis methods.
APA, Harvard, Vancouver, ISO, and other styles
36

Belhe, Upendra, and Andrew Kusiak. "Performance Analysis of Design Process Using Timed Petri Nets." Concurrent Engineering 1, no. 3 (September 1993): 147–52. http://dx.doi.org/10.1177/1063293x9300100302.

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

Distefano, Salvatore, Francesco Longo, and Marco Scarpa. "Marking dependency in non-Markovian stochastic Petri nets." Performance Evaluation 110 (April 2017): 22–47. http://dx.doi.org/10.1016/j.peva.2017.03.001.

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

Bošnjak, Rino, Danko Kezić, Pero Vidan, and Zvonko Kavran. "COLLISION PREVENTION IN SINGAPORE STRAIT BY USING TIMED PETRI NET." Transport 35, no. 3 (December 9, 2019): 273–82. http://dx.doi.org/10.3846/transport.2019.11623.

Full text
Abstract:
The problem of maritime traffic in Singapore Strait is traffic density, also the probability of collision, which is increased beside the existing Vessel Traffic System (VTS). The paper discusses the synthesis early warning system, or automatic crossing supervisor for Singapore Strait by using the Timed Petri Nets (TPN). Authors proposes dividing the strait in zones, so called crossings, where routes are crossing and in which the number of ships must be limited. The maximum number of vessels in period of time of the highest traffic density through the crossings are determined. Derived constraints are used for synthesis of crossing supervisor. The authors uses Petri nets to make model Singapore Strait, and use P-invariant method to syntheses crossing supervisor, which limits the number of ships in all critical crossings. Finally, the author verified derived supervisor by using Visual Object Net ++ programme for computer simulation. With the aid of Transas nautical simulator, the traffic in the strait is analysed.
APA, Harvard, Vancouver, ISO, and other styles
39

Badillo, Marina Flores, Ernesto Lopez Mellado, and Mayra Padilla Duarte. "Modelling and simulation of complex workflow processes using multi-level Petri nets." International Journal of Simulation and Process Modelling 4, no. 3/4 (2008): 205. http://dx.doi.org/10.1504/ijspm.2008.023682.

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

Hussein, Hussein Mohamed A., Shailendra Kumar, and Emad S. Abouel Nasr. "Computer-aided design and simulation of strip layout for progressive die planning using Petri nets." Advances in Mechanical Engineering 8, no. 4 (April 21, 2016): 168781401664438. http://dx.doi.org/10.1177/1687814016644385.

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

Riera, Daniel, Mercedes Narciso, and Chouaib Benqlilou. "A Petri Nets-Based Scheduling Methodology for Multipurpose Batch Plants." SIMULATION 81, no. 9 (September 2005): 613–23. http://dx.doi.org/10.1177/0037549705061649.

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

Gudiño-Mendoza, Berenice, Ernesto López-Mellado, and Enrique Aguayo-Lara. "A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets." SIMULATION 94, no. 10 (November 21, 2017): 887–909. http://dx.doi.org/10.1177/0037549717737861.

Full text
Abstract:
A novel scheme for simulating networked agent systems is presented. In this approach, the system is composed of identical communicating agents, which have multi-role capabilities in such a manner that they can perform diverse tasks, according to a given execution context. The agent’s behavior is modeled using a timed hybrid Petri net ( THPN) whose evolution, valid for all the agents, is computed off-line using Matlab. The agents are interconnected and simulated in a Java platform using the JADE middle-ware.
APA, Harvard, Vancouver, ISO, and other styles
43

Djemame, K. "Performance partitioning impact in distributed simulation of high-level algebraic Petri nets." IEE Proceedings - Computers and Digital Techniques 150, no. 2 (2003): 121. http://dx.doi.org/10.1049/ip-cdt:20030281.

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

Valero, Valentín, and Hermenegilda Macià. "Removing dead transitions in timed-arc Petri nets." Mathematical and Computer Modelling of Dynamical Systems 15, no. 1 (February 2009): 69–82. http://dx.doi.org/10.1080/13873950802416332.

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

DEY, SOUMYAJIT, PRAVEEN ROKKAM, and ANUPAM BASU. "MODELING AND ANALYSIS OF EMBEDDED MULTIMEDIA APPLICATIONS USING COLORED PETRI NETS." International Journal of Modeling, Simulation, and Scientific Computing 02, no. 02 (June 2011): 169–93. http://dx.doi.org/10.1142/s1793962311000438.

Full text
Abstract:
Embedded multimedia systems often run multiple time-constrained applications simultaneously. To meet the throughput constraints given in the specification, each application must be provided with enough resources by the underlying architecture, which is generally a multiprocessor system-on-chip (MPSoC). For this purpose, a mechanism for task binding and scheduling is required to provide each application with a timing guarantee, keeping in mind the available resources like processor(s) and memory bandwidth. Commonly, synchronous dataflow graphs (SDFGs) are used to model time-constrained multimedia applications. There are resource allocation strategies for SDFGs that help in formulating efficient techniques for calculating the throughput of a bounded and scheduled SDFG. The strategies are effective in terms of run-time and allocated resources. However, there is no unified modeling technique to simultaneously represent the application and the underlying architecture with resource allocation. This paper discusses a novel modeling technique using Colored Timed Petri Nets (CTPNs), which can be used to model the application as well as the architecture and the resource allocation. Such a representation helps in checking properties like liveness and boundedness for the application, taking into account the resource allocation and thus helping in defining satisfactory schedules for the executable tasks.
APA, Harvard, Vancouver, ISO, and other styles
46

Yang, Nianhua, Huiqun Yu, Zhilin Qian, and Hua Sun. "Modeling and quantitatively predicting software security based on stochastic Petri nets." Mathematical and Computer Modelling 55, no. 1-2 (January 2012): 102–12. http://dx.doi.org/10.1016/j.mcm.2011.01.055.

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

Barad, Miryam. "Tutorial and Survey Articles: An introduction to Petri Nets." International Journal of General Systems 32, no. 6 (December 2003): 565–82. http://dx.doi.org/10.1080/03081070310001623366.

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

Krishnaiah Chetty, O. V., and O. C. Gnanasekaran. "Modelling, simulation and scheduling of flexible assembly systems with coloured Petri nets." International Journal of Advanced Manufacturing Technology 11, no. 6 (November 1996): 430–38. http://dx.doi.org/10.1007/bf01178969.

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

Haddad, S., P. Moreaux, M. Sereno, and M. Silva. "Product-form and stochastic Petri nets: a structural approach." Performance Evaluation 59, no. 4 (March 2005): 313–36. http://dx.doi.org/10.1016/j.peva.2004.08.004.

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

Henderson, W., and D. Lucic. "Aggregation and disaggregation through insensitivity in stochastic Petri nets." Performance Evaluation 17, no. 2 (March 1993): 91–114. http://dx.doi.org/10.1016/0166-5316(93)90002-c.

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