Log in

Relevant bibliographies by topics / Petri nets – Research – Analysis / Journal articles

To see the other types of publications on this topic, follow the link: Petri nets – Research – Analysis.

Journal articles on the topic 'Petri nets – Research – Analysis'

Author: Grafiati

Published: 4 June 2021

Last updated: 7 February 2022

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 – Research – Analysis.'

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

Hou, Chun Long, Zeng Ma, and Xin Zhan Qi. "Research on Completeness in Decomposition and Composition of Petri Nets." Applied Mechanics and Materials 190-191 (July 2012): 297–303. http://dx.doi.org/10.4028/www.scientific.net/amm.190-191.297.

Full text

Abstract:

Composition and decomposition can be used in refining and combination of Petri nets. Based on the relation of in preconditions and consequences of Petri node, analysis the completeness of the composition and decomposition operation and put forward methods to improve the completeness, in this way can design correct and consistent Petri nets to describe the system.

APA, Harvard, Vancouver, ISO, and other styles

2

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

APA, Harvard, Vancouver, ISO, and other styles

3

Gurskiy, A. A., A. V. Denisenko, and S. M. Dubna. "THE AUTOMATIC SYNTHESIS OF PETRI NETS BASED ON THE FUNCTIONING OF ARTIFICIAL NEURAL NETWORK." Radio Electronics, Computer Science, Control, no. 2 (July 3, 2021): 84–92. http://dx.doi.org/10.15588/1607-3274-2021-2-9.

Full text

Abstract:

Context. The important task was solved during the scientific research related to the development of the methods for automatic synthesis of Petri nets while tuning up of the coordinating automatic control systems. The importance of development of these methods is due to the evolution of intelligent systems. These systems provide the automation of labor intensive processes in the particular case this is the tuning of the certain type of complex control systems. Objective. The purpose of the scientific work is to minimize the time and automation of process in tuning of the multilevel coordinating

APA, Harvard, Vancouver, ISO, and other styles

4

Adam, Tas. "A Petri Net Model for Analysing E-Learning and Learning Difficulties." International Journal of Actor-Network Theory and Technological Innovation 3, no. 4 (2011): 11–21. http://dx.doi.org/10.4018/jantti.2011100102.

Full text

Abstract:

Petri Nets are tools for the modelling and analysis of the behaviour of systems and analysis of the Petri Net can then reveal important information about the structure and dynamic behaviour of the modelled system. In this article, the author argues that Petri Net concepts (when used qualitatively) are not fundamentally different from those of ANT. For example, the ‘places’ from Petri Nets bear a strong resemblance to the actors in ANT, and the ‘triggers’ or ‘transitions’, are somewhat analogous to ANT’s translations. In modelling, places represent conditions and transitions represent events. T

APA, Harvard, Vancouver, ISO, and other styles

5

Sochnev, Aleksei. "METHODS FOR PRESENTING PETRI NETS MODELING RESULTS OF PRODUCTION SYSTEMS." Applied Mathematics and Control Sciences, no. 2 (June 30, 2020): 29–40. http://dx.doi.org/10.15593/2499-9873/2020.2.02.

Full text

Abstract:

The article considers the issues of presenting the results of simulation experiments with models based on Petri nets for a researcher. The need for a qualitative review of the applied methods for visualizing Petri nets of both the processes themselves and the modeling results has been identified and justified. An analysis of publications on the subject of Petri nets allowed us to conclude that the visualization of such models and the results of their modeling is a known weak point. It is this factor that significantly limits the use of Petri nets as a tool for solving practical problems. The c

APA, Harvard, Vancouver, ISO, and other styles

6

YANG, S. K., and T. S. LIU. "FAILURE ANALYSIS FOR AN AIRBAG INFLATOR BY PETRI NETS." Quality and Reliability Engineering International 13, no. 3 (1997): 139–51. http://dx.doi.org/10.1002/(sici)1099-1638(199705)13:3<139::aid-qre91>3.0.co;2-p.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Pinney, J. W., D. R. Westhead, and G. A. McConkey. "Petri Net representations in systems biology." Biochemical Society Transactions 31, no. 6 (2003): 1513–15. http://dx.doi.org/10.1042/bst0311513.

Full text

Abstract:

The mathematical structures known as Petri Nets have recently become the focus of much research effort in both the structural and quantitative analysis of all kinds of biological networks. This review provides a very brief summary of these interesting new research directions.

APA, Harvard, Vancouver, ISO, and other styles

8

Song, Long-long, Tai-yong Wang, Xiao-wen Song, Lei Xu, and De-gang Song. "Research and Application of FTA and Petri Nets in Fault Diagnosis in the Pantograph-Type Current Collector on CRH EMU Trains." Mathematical Problems in Engineering 2015 (2015): 1–12. http://dx.doi.org/10.1155/2015/169731.

Full text

Abstract:

A fault tree is established based on structural analysis, working principle analysis, and failure mode and effects analysis (FMEA) of the pantograph-type current collector on the Chinese Rail High-Speed Electric Multiple Unit (CRH EMU) train. To avoid the deficiencies of fault tree analysis (FTA), Petri nets modelling is used to address the problem of data explosion and carry out dynamic diagnosis. Relational matrix analysis is used to solve the minimal cut set equation of the fault tree. Based on the established state equation of the Petri nets, initial tokens and enable-transfer algorithms a

APA, Harvard, Vancouver, ISO, and other styles

9

Davidrajuh, Reggie. "A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study." Computers 8, no. 4 (2019): 83. http://dx.doi.org/10.3390/computers8040083.

Full text

Abstract:

Petri net is a highly useful tool for modeling of discrete-event systems. However, Petri net models of real-life systems are enormous, and their state-spaces are usually of infinite size. Thus, performing analysis on the model becomes difficult. Hence, slicing of Petri Net is suggested to reduce the size of the Petri nets. However, the existing slicing algorithms are ineffective for real-world systems. Therefore, there is a need for alternative methodologies for slicing that are effective for Petri net models of large real-life systems. This paper proposes a new Modular Petri Net as a solution

APA, Harvard, Vancouver, ISO, and other styles

10

Pinto, Constâncio António, José Torres Farinha, and Sarbjeet Singh. "Contributions of Petri Nets to the Reliability and Availability of an Electrical Power System in a Big European Hospital - A Case Study." WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL 16 (January 7, 2021): 21–42. http://dx.doi.org/10.37394/23203.2021.16.2.

Full text

Abstract:

The energy power supply infrastructure of a hospital, to function correctly, needs to be well maintained to ensure its reliability and, by consequence, the maximum integrated availability. In this paper, the authors propose the use of Petri Nets to help the improvement of the electric power system reliability, having as a case study a big European Hospital. The purpose of the research is to identify and analyse the potential failures of the system and to suggest solutions to improve the operations and maintenance to maximise the availability and reliability of those assets through possible and

APA, Harvard, Vancouver, ISO, and other styles

11

Biruk, Sławomir, and Piotr Jaśkowski. "SIMULATION MODELLING CONSTRUCTION PROJECT WITH REPETITIVE TASKS USING PETRI NETS THEORY." Journal of Business Economics and Management 9, no. 3 (2008): 219–26. http://dx.doi.org/10.3846/1611-1699.2008.9.219-226.

Full text

Abstract:

Resources selection and allocation at the project planning stage is an important issue for reducing project cost, duration and risk. Existing planning and scheduling methods overlook aspects of limited production capacity of construction companies (contractors) due to the fact that they are simultaneously engaged in realization of some projects. This paper presents a new methodology for project scheduling with repetitive processes using Petri nets based approach. The paper starts with an overview of current developments in the Petri nets theory. We then propose an efficient computational metho

APA, Harvard, Vancouver, ISO, and other styles

12

Balado, Jesús, Lucía Díaz-Vilariño, Pedro Arias, and Ana Novo. "A safety analysis of roundabouts and turbo roundabouts based on Petri nets." Traffic Injury Prevention 20, no. 4 (2019): 400–405. http://dx.doi.org/10.1080/15389588.2019.1594208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

HUTCHINSON, G. K., and A. T. CLEMENTSON. "Static analysis of systems: a methodology based on timed Petri nets." Production Planning & Control 2, no. 2 (1991): 110–15. http://dx.doi.org/10.1080/09537289108919337.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Chen, Chyun Chyi, and Yueh Min Huang. "Using Time Reachability Tree Logic to Specifying and Verifying Temporal Behavior of Workflow-Net." Applied Mechanics and Materials 571-572 (June 2014): 528–34. http://dx.doi.org/10.4028/www.scientific.net/amm.571-572.528.

Full text

Abstract:

Workflow management has been a hot issue in both academic and industrial research. Deadline assignment is of great significance in workflow management. In order to avoid deadline violation, this paper presents an approach to the schedulability analysis of workflow system modeled in p-time Petri nets by separating timing properties from other behavior properties. The analysis of behavioral properties is conducted based on the reachability graph of the underlying p-Time Petri net, whereas timing constraints are checked in term of absolute and relative firing domains. Our technique is based on a

APA, Harvard, Vancouver, ISO, and other styles

15

van der Aalst, Wil M. P. "Free-choice Nets with Home Clusters are Lucent." Fundamenta Informaticae 181, no. 4 (2021): 273–302. http://dx.doi.org/10.3233/fi-2021-2059.

Full text

Abstract:

A marked Petri net is lucent if there are no two different reachable markings enabling the same set of transitions, i.e., states are fully characterized by the transitions they enable. Characterizing the class of systems that are lucent is a foundational and also challenging question. However, little research has been done on the topic. In this paper, it is shown that all free-choice nets having a home cluster are lucent. These nets have a so-called home marking such that it is always possible to reach this marking again. Such a home marking can serve as a regeneration point or as an end-point

APA, Harvard, Vancouver, ISO, and other styles

16

Mahemuti, Pazilat, Lian Yang, and Lai Long Luo. "Modeling, Analysis and Synthesis of Hybrid System: A Review." Applied Mechanics and Materials 615 (August 2014): 36–43. http://dx.doi.org/10.4028/www.scientific.net/amm.615.36.

Full text

Abstract:

This paper proposes a framework of modeling, analyzing, and controlling systems represented by interdependent physical laws, logic rules, and operating constraints, denoted as hybrid system. Based on the basic concept and characteristics of hybrid system, we classify the conventional models including hybrid automaton, hybrid Petri nets, mixed logic dynamics, et al. We introduce the method of stability analysis, and point out the main difficulties in optimization and control of hybrid systems. Finally, the further research directions are prospected.

APA, Harvard, Vancouver, ISO, and other styles

17

Liu, Yan Pei, Jun Hui Fu, and Hong Yu Feng. "A Survey on the Object-Oriented Petri Net Modeling." Applied Mechanics and Materials 121-126 (October 2011): 4350–56. http://dx.doi.org/10.4028/www.scientific.net/amm.121-126.4350.

Full text

Abstract:

With the larger and more complex of the size and function of software products，choosing an efficient modeling technique for analyzing complicated and ever-changing system plays a vital role．Object-Oriented Petri nets for its unique characteristics which are simple and laconic modeling method and strong mathematical analysis capacity becomes a hot research．In this paper，it explain that the object-oriented technology how to combine with Petri nets．The typical Object-Oriented Petri net modeling steps and analysis methods are expounded. Up-to-date research about OOPN and its main improved models O

APA, Harvard, Vancouver, ISO, and other styles

18

WANG, JIACUN, YI DENG, and CHUN JIN. "PERFORMANCE ANALYSIS OF TRAFFIC CONTROL SYSTEMS BASED UPON STOCHASTIC TIMED PETRI NET MODELS." International Journal of Software Engineering and Knowledge Engineering 10, no. 06 (2000): 735–57. http://dx.doi.org/10.1142/s0218194000000365.

Full text

Abstract:

A compositional modeling and performance evaluation technique for traffic control systems based on Stochastic Timed Petri Nets (STPN's) is presented. We use STPN's to specify traffic and traffic control at an intersection and use a random distribution model to model the motion of vehicles in a road segment between any two consecutive intersections. A traffic control system is thus modeled as a composition of individual intersection models and segment random distribution models. A technique is presented to incrementally evaluate the system's performance by analyzing intersections separately acc

APA, Harvard, Vancouver, ISO, and other styles

19

KAVI, KRISHNA M., FREDERICK T. SHELDON, and SHERMAN REED. "SPECIFICATION AND ANALYSIS OF REAL-TIME SYSTEMS USING CSP AND PETRI NETS." International Journal of Software Engineering and Knowledge Engineering 06, no. 02 (1996): 229–48. http://dx.doi.org/10.1142/s0218194096000119.

Full text

Abstract:

Formal methods such as CSP (Communicating Sequential Processes) are widely used for reasoning about concurrency, communication, safety, and liveness issues. Some of these models have been extended to permit reasoning about real-time constraints. Yet, the research in formal specification and verification of complex systems has often ignored the specification of stochastic properties of the system under study. We are developing methods and tools to permit stochastic analyses of CSP-based specifications. Our basic objective is to evaluate candidate design specifications by converting formal syste

APA, Harvard, Vancouver, ISO, and other styles

20

Xu, Bing, Zhong Jin Shi, Bao Guo Zheng, Xue Han Zhu, and Yi Huan Hui. "Operation Analysis of the Rail Transit Stations Energy-Saving Air-Conditioning System Based on Petri Nets." Applied Mechanics and Materials 513-517 (February 2014): 3564–67. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.3564.

Full text

Abstract:

In order to fully research and describe the dynamics of the energy consumption of rail transportation equipment operation, this chapter will Petri nets Establishment and analysis of the environmental control system air-conditioning power consumption model, so as to deepen the understanding of the principle of the energy consumption of devices running depth grasp of energy consumption the operational features of the equipment, take appropriate and effective energy-saving measures.

APA, Harvard, Vancouver, ISO, and other styles

21

Sochnev, A. N. "Optimization of Assembly Production Based on Imitation of Petri Nets." Herald of the Bauman Moscow State Technical University. Series Instrument Engineering, no. 2 (135) (June 2021): 133–46. http://dx.doi.org/10.18698/0236-3933-2021-2-133-146.

Full text

Abstract:

The paper describes the approach to solving the problem of optimal planning of the production process. A discrete production system represented by the operations of machining, welding and painting was chosen as the object of research. The study states the problem of optimization of assembly production, which contains a typical criterion of optimality. A mechanism for meeting the criterion using a simulation model based on a Petri net is determined. The rules for developing feedback on the state of the network model and a method for controlling the simulation of the Petri net based on the analy

APA, Harvard, Vancouver, ISO, and other styles

22

Kabir, Sohag, Martin Walker, and Yiannis Papadopoulos. "Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks." Safety Science 105 (June 2018): 55–70. http://dx.doi.org/10.1016/j.ssci.2018.02.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Labadi, K., A. M. Darcherif, I. El Abbassi, and S. Hamaci. "Petri Net-Based Approach for “Cyber” Risks Modelling and Analysis for Industrial Systems." E3S Web of Conferences 170 (2020): 02001. http://dx.doi.org/10.1051/e3sconf/202017002001.

Full text

Abstract:

Today, industrial systems are large, complex, and increasingly vulnerable. Specifically, due to the current digital transformation, the industry 4.0 creates crucial cyber-risks and cyber-security challenges. In this context, risk modelling and impact analysis has become a crucial research topic. Based on the formal modelling and performance analysis power of Petri Nets (PN), this paper represents a summary of our methodological approach for “risk” modelling and “impact” analysis of cyber vulnerabilities and / or other critical events. The applicability of the developed approach is demonstrated

APA, Harvard, Vancouver, ISO, and other styles

24

Li, Lan Yun, Zhuan Zhao Yang, Xiao Li, and Zhi He. "Research on Intelligent Fault Diagnosis Method for ESP Protector Based on Fuzzy Petri Nets." Applied Mechanics and Materials 29-32 (August 2010): 691–96. http://dx.doi.org/10.4028/www.scientific.net/amm.29-32.691.

Full text

Abstract:

The protector is a key part of electric submersible pump (ESP), seals the motor and prevents the water entering into it. In order to solve the problem of complexity and uncertainty of fault propagation and analysis in protector, a new method for ESP protector fault diagnosis based on Fuzzy Petri nets (FPN) is proposed. Firstly, according to expert experiences and maintain rules, the FPN structure which has 28 places and 11 transitions is built to describe the protector fault propagation relations. Secondly, the five matrixes representing the FPN structure are obtained, and a rapid fault infere

APA, Harvard, Vancouver, ISO, and other styles

25

Bao, Shi Yi, Wei Ping Wang, Jian Xin Zhu, and Zeng Liang Gao. "SPN Based Reliability Analysis in the Process Industry." Advanced Materials Research 118-120 (June 2010): 561–65. http://dx.doi.org/10.4028/www.scientific.net/amr.118-120.561.

Full text

Abstract:

This paper proposes a new reliability modeling and analysis approach based on Stochastic Petri Nets by employing the logical relations in the RBD to cope with the inadequacy in various quantitative reliability analysis techniques, such as Reliability Block Diagram (RBD) and Markov analysis of control system in process industry. In this paper, the proposed new approach is elaborated and its feasibility and effectiveness is illustrated in a study case. As the results show, the proposed approach is demonstrated more straightforward and visual than Markov method. This research also bears significa

APA, Harvard, Vancouver, ISO, and other styles

26

Gu, Chao, Zhiwu Li, and Abdulrahman Al-Ahmari. "A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems." Discrete Dynamics in Nature and Society 2017 (2017): 1–16. http://dx.doi.org/10.1155/2017/8687035.

Full text

Abstract:

For an automated manufacturing system (AMS), it is a computationally intractable problem to find a maximally permissive deadlock avoidance policy (DAP) in a general case, since the decision on the safety of a reachable state is NP-hard. This paper focuses on the deadlock avoidance problem for systems of simple sequential processes with resources (S3PR) by using Petri nets structural analysis theory. Inspired by the one-step look-ahead DAP that is an established result, which is of polynomial complexity, for an S3PR without one-unit-capacity resources shared by two or more resource-transition c

APA, Harvard, Vancouver, ISO, and other styles

27

Yu, Qingkun, Liangcai Cai, and Xiao Tan. "Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools." International Journal of Aerospace Engineering 2018 (September 16, 2018): 1–8. http://dx.doi.org/10.1155/2018/2858375.

Full text

Abstract:

The airport emergency rescue is a typical discrete event dynamic system. In this paper, we can use colored Petri net discrete event modeling technology to establish the airport emergency rescue (AER) model in the CPN tool software according to the rescue process and the rescue activities’ relationship. We draw the basic flow chart of AER and, on this basis, propose the basic algorithm of establishing an AER colored Petri net. Firstly, the Weifang Nanyuan Airport emergency rescue (WNAER) drill data is analyzed, and the time function of each activity is obtained. Then, we establish the WNAER col

APA, Harvard, Vancouver, ISO, and other styles

28

Ngowtanasuwan, Grit, and Porntip Ruengtam. "Simulation Model for Improving a Hospital." Asian Journal of Quality of Life 1, no. 2 (2016): 35. http://dx.doi.org/10.21834/ajqol.v1i2.22.

Full text

Abstract:

This article presents a method for design of improving medical record area in OPD of a governmental hospital case study, Mahasarakham Hospital, Thailand. By using a simulation model which is Petri Nets model for simulating and analysis of coming patients and their relatives in the hospital case study during 6:30-16:00 of the working days. The results found the application was applicable. Recommendations for the design of improving the waiting area case study were discussed and presented in this research.2398-4279 © 2016. The Authors. Published for AMER ABRA by e-International Publishing House,

APA, Harvard, Vancouver, ISO, and other styles

29

Ngowtanasuwan, Grit, and Porntip Ruengtam. "Simulation Model for Improving a Hospital." Asian Journal of Quality of Life 1, no. 2 (2016): 35. http://dx.doi.org/10.21834/ajqol.v1i2.27.

Full text

Abstract:

This article presents a method for design of improving medical record area in OPD of a governmental hospital case study, Mahasarakham Hospital, Thailand. By using a simulation model which is Petri Nets model for simulating and analysis of coming patients and their relatives in the hospital case study during 6:30-16:00 of the working days. The results found the application was applicable. Recommendations for the design of improving the waiting area case study were discussed and presented in this research.2398-4279 © 2016. The Authors. Published for AMER ABRA by e-International Publishing House,

APA, Harvard, Vancouver, ISO, and other styles

30

Asnina, Erika, and Begoña Cristina Pelayo García-Bustelo. "The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets." Applied Computer Systems 16, no. 1 (2014): 77–84. http://dx.doi.org/10.1515/acss-2014-0016.

Full text

Abstract:

Abstract The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets (CPNs) and Topological Functioning Model (TFM), is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of system theory and algebraic topology, and formally bridges the solution domain with the problem domain. It is a base for further automated construction of software design models. The paper discusses a perspective on check of control and data flows in the TFM by CPNs formalism. The research result is definition of mappings from TFMs to CPNs.

APA, Harvard, Vancouver, ISO, and other styles

31

Wang, Zhouhang, Maen Atli, and H. Kondo Adjallah. "Coloured stochastic Petri nets modelling for the reliability and maintenance analysis of multi-state multi-unit systems." Journal of Manufacturing Technology Management 25, no. 4 (2014): 476–90. http://dx.doi.org/10.1108/jmtm-04-2013-0045.

Full text

Abstract:

Purpose – The purpose of this paper is to introduce a method for modelling the multi-state repairable systems subject to stochastic degradation processes by using the coloured stochastic Petri nets (CSPN). The method is a compact and flexible Petri nets model for multi-state repairable systems and offers an alternative to the combinatory of Markov graphs. Design/methodology/approach – The method is grounded on specific theorems used to design an algorithm for systematic construction of multi-state repairable systems models, whatever is their size. Findings – Stop and constraint functions were

APA, Harvard, Vancouver, ISO, and other styles

32

Vernez, David, Didier Buchs, and Guillaume Pierrehumbert. "Perspectives in the use of coloured Petri nets for risk analysis and accident modelling." Safety Science 41, no. 5 (2003): 445–63. http://dx.doi.org/10.1016/s0925-7535(01)00078-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Zhu, Yu, and Tie Ning Wang. "Research on the Petri Nets Modeling Method of the Task-Oriented Spare Parts Support Process." Applied Mechanics and Materials 644-650 (September 2014): 2459–62. http://dx.doi.org/10.4028/www.scientific.net/amm.644-650.2459.

Full text

Abstract:

In the view of the current support process of spare parts is not comprehensive enough, all aspects without linking with each other, the resources without being shared, spare parts with slow turnaround and high inventory levels, which results in low economic efficiency. Therefore, considering the modern information technology and network technology, the document research on the spare parts support process optimization, which is to make the process more scientific and reasonable, support resources more economical, and respond more sensitive, thereby increasing military and economic benefit of th

APA, Harvard, Vancouver, ISO, and other styles

34

Wu, Zenan, Liqin Tian, Yi Zhang, and Zhigang Wang. "Web User Trust Evaluation: A Novel Approach Using Fuzzy Petri Net and Behavior Analysis." Symmetry 13, no. 8 (2021): 1487. http://dx.doi.org/10.3390/sym13081487.

Full text

Abstract:

With the development of society and information technology, people’s dependence on the Internet has gradually increased, including online shopping, downloading files, reading books, and online banking. However, how to ensure the safety and legitimacy of these network user behaviors has become the focus of attention. As we all know, cybersecurity and system resilience originate from symmetry. Due to the diversity and unpredictability of cyber-attacks, absolute cybersecurity is difficult to achieve; system resilience indicates that protecting system security should shift from resisting attacks t

APA, Harvard, Vancouver, ISO, and other styles

35

Huang, Biao, Yang Li, Quan Zhou, Jin Jin Guan, and Hua Dong Wei. "Research about Petri Nets Modeling of Railway Spring Festival Passenger Transport Based on Scale Free Networks." Advanced Materials Research 143-144 (October 2010): 682–86. http://dx.doi.org/10.4028/www.scientific.net/amr.143-144.682.

Full text

Abstract:

The research starts from the railway Spring Festival Passenger Transport problems which exposed in the natural disasters, introduces the conception of Scale Free Networks in Chinese railway Passenger Transport system, focus on discussing the characteristic of Chinese railway Passenger Transport system and other related problems, researches the characteristic of railway Spring Festival Passenger Transport, introduces the Petri nets to the “hub” nodes, takes the allocation of train resources and Evacuation of Passenger in emergency as examples, finish the modeling and analysis, it provides scien

APA, Harvard, Vancouver, ISO, and other styles

36

Elusakin, Tobi, and Mahmood Shafiee. "Reliability analysis of subsea blowout preventers with condition-based maintenance using stochastic Petri nets." Journal of Loss Prevention in the Process Industries 63 (January 2020): 104026. http://dx.doi.org/10.1016/j.jlp.2019.104026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Chu, Yuanbo, Zhaohui Yuan, and Jia Chen. "Research on Dynamic Reliability of a Jet Pipe Servo Valve Based on Generalized Stochastic Petri Nets." International Journal of Aerospace Engineering 2015 (2015): 1–8. http://dx.doi.org/10.1155/2015/171642.

Full text

Abstract:

The jet pipe servo valve is widely used in the military fields of aviation and ship, whose reliability has obvious randomness and dynamic. However, existing methods are either having complicated theory or analyzing static reliability. Based on the generalized stochastic petri nets (GSPN) theory and the collected basic failure modes and failure rate data of jet pipe servo valve, this paper proposes a novel modeling and simulating method for system’s dynamic behavior analysis. In this method, the dynamic reliability model considering failure’s random and repair is established and is simulated us

APA, Harvard, Vancouver, ISO, and other styles

38

Chao, Daniel Y., and David T. Wang. "XPN-FMS: A CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X window." International Journal of Flexible Manufacturing Systems 7, no. 4 (1995): 339–60. http://dx.doi.org/10.1007/bf01325064.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Jiao, Yibo, Xiangqian liu, and Xiaoyong Chen. "Modeling and analysis of medium speed maglev vehicle network based on CPN." MATEC Web of Conferences 176 (2018): 01016. http://dx.doi.org/10.1051/matecconf/201817601016.

Full text

Abstract:

With the upsurge of magnetic levitation construction and research in China, in order to improve the running speed of mid-low-speed maglev train, the 13th Five-Year Science and Technology Major Proposal put forward a medium speed maglev solution with long stator synchronous traction. According to this new plan, the magnetic levitation subsystem, including the control system, needs re-co-ordination design, and the car network system must be changed accordingly. In this paper, based on the original scheme, a new magnetic levitation vehicle network system is designed to meet the needs of localizat

APA, Harvard, Vancouver, ISO, and other styles

40

Fattah, Jamal, Latifa Ezzine, Haj El Moussami, and Abdeslam Lachhab. "Analysis of the performance of inventory management systems using the SCOR model and Batch Deterministic and Stochastic Petri Nets." International Journal of Engineering Business Management 8 (January 2016): 184797901667837. http://dx.doi.org/10.1177/1847979016678370.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Panteleev, E. R., A. A. Mukuchan, M. A. Kuznetzov, and A. L. Alykova. "Method of context-dependent assistance for software user solving an applied task." Vestnik IGEU, no. 5 (December 30, 2020): 64–76. http://dx.doi.org/10.17588/2072-2672.2020.5.064-076.

Full text

Abstract:

When using software to solve the applied tasks, the problem to implement the action in need by means of user interface arises. Partly, this problem is solved by studying reference manuals and consultations with the application developers. However, reference manuals are structured in the context of overall application functionality while difficulties arise in the data state context of the task being solved. Consultations lack this flaw, but they are costly and not always available in time. This fact stimulated the development of computer-based methods of contextual help. Yet the task of develop

APA, Harvard, Vancouver, ISO, and other styles

42

Rigin, Anton Mikhailovich, and Sergey Andreevich Shershakov. "Method of Performance Analysis of Time-Critical Applications Using DB-Nets." Proceedings of the Institute for System Programming of the RAS 33, no. 3 (2021): 109–22. http://dx.doi.org/10.15514/ispras-2021-33(3)-9.

Full text

Abstract:

These days, most of time-critical business processes are performed using computer technologies. As an example, one can consider financial processes including trading on stock exchanges powered by electronic communication protocols such as the Financial Information eXchange (FIX) Protocol. One of the main challenges emerging with such processes concerns maintaining the best possible performance since any unspecified delay may cause a large financial loss or other damage. Therefore, performance analysis of time-critical systems and applications is required. In the current work, we develop a nove

APA, Harvard, Vancouver, ISO, and other styles

43

Formanowicz, Dorota, Agnieszka Rybarczyk, Marcin Radom, and Piotr Formanowicz. "A Role of Inflammation and Immunity in Essential Hypertension—Modeled and Analyzed Using Petri Nets." International Journal of Molecular Sciences 21, no. 9 (2020): 3348. http://dx.doi.org/10.3390/ijms21093348.

Full text

Abstract:

Recent studies have shown that the innate and adaptive immune system, together with low-grade inflammation, may play an important role in essential hypertension. In this work, to verify the importance of selected factors for the development of essential hypertension, we created a Petri net-based model and analyzed it. The analysis was based mainly on t-invariants, knockouts of selected fragments of the net and its simulations. The blockade of the renin-angiotensin (RAA) system revealed that the most significant effect on the emergence of essential hypertension has RAA activation. This blockade

APA, Harvard, Vancouver, ISO, and other styles

44

Böhm, Stanislav, Marek Bĕhálek, Ondřej Meca, and Martin Surkovský. "Visual programming of MPI applications: Debugging, performance analysis, and performance prediction." Computer Science and Information Systems 11, no. 4 (2014): 1315–36. http://dx.doi.org/10.2298/csis131204052b.

Full text

Abstract:

In our research, we try to simplify the development of parallel applications in the area of the scientific and engineering computations for distributed memory systems. The difficulties of this task lie not only in programming itself, but also in a complexity of supportive activities like debugging and performance analyses. We are developing a unifying framework where it is possible to create parallel applications and perform various supportive activities. The unifying element, that interconnects all these activities, is our visual model that is inspired by Colored Petri Nets. It is used to def

APA, Harvard, Vancouver, ISO, and other styles

45

Krčum, Maja, Anita Gudelj, and Vinko Tomas. "Optimal Design of Ship’s Hybrid Power System for Efficient Energy." Transactions on Maritime Science 7, no. 1 (2018): 23–32. http://dx.doi.org/10.7225/toms.v07.n01.002.

Full text

Abstract:

The International Maritime Organization regulations on the reduction of greenhouse gas emissions (GHGs) from ships require efficient dealing with this complex techno-economic and highly political problem through joint efforts of all major stakeholders from the shipbuilding industry and ship operations. The key problems of any research in the field of renewable energy, including power generation, storage, transformation and distribution, and the issues associated with limited power generation for specific loads, are the same issues that are experienced in the implementation of electric distribu

APA, Harvard, Vancouver, ISO, and other styles

46

Harjono, Mulyadi Sinung, Wimpie A. N. Aspar, Abdul Halim, and Kalamullah Ramli. "ANALISIS DISTRIBUSI PROBABILITAS DAN KENDALI OPTIMAL PERSIMPANGAN = PROBABILITY DISTRIBUTION ANALYSIS AND OPTIMAL CONTROL INTERSECTION." Majalah Ilmiah Pengkajian Industri 9, no. 1 (2015): 21–26. http://dx.doi.org/10.29122/mipi.v9i1.92.

Full text

Abstract:

Abstract  Research traffic dynamics modeling requires the enumeration of traffic flow data on many road network nodes. Information enumeration traffic flows are applied to the analysis model of the road network control or control the intersection area, either as a standalone junction (isolated) and the coordinative intersection. Classification of types and traffic conditions used for this control is determined by ITS transportation management policy or government. Estimation and prediction of traffic conditions in real terms are based on information obtained by traffic counting. Co

APA, Harvard, Vancouver, ISO, and other styles

47

Liang, Hao, Hongli Zhao, Shuo Wang, and Yong Zhang. "LTE-U based Train to Train Communication System in CBTC: System Desin and Reliability Analysis." Wireless Communications and Mobile Computing 2020 (December 30, 2020): 1–14. http://dx.doi.org/10.1155/2020/8893631.

Full text

Abstract:

Communication-Based Train Control (CBTC) system is a critical signal system to ensure rail transit’s safe operation. Compared with the train-ground CBTC system, the train control system based on train-to-train (T2T) communication has the advantages of fast response speed, simple structure, and low operating cost. As the core part of the train control system based on T2T communication, the reliability of the data communication system (DCS) is of great significance to ensure the train’s safe and efficient operation. According to the T2T communication system requirements, this paper adopts Long-T

APA, Harvard, Vancouver, ISO, and other styles

48

Vaquero, Tiago S., José R. Silva, Flavio Tonidandel, and J. Christopher Beck. "itSIMPLE: towards an integrated design system for real planning applications." Knowledge Engineering Review 28, no. 2 (2013): 215–30. http://dx.doi.org/10.1017/s0269888912000434.

Full text

Abstract:

AbstractSince the end of the 1990s, there has been an increasing interest in the application of artificial intelligence (AI) planning techniques to solve real-life problems. In addition to characteristics of academic problems, such as the need to reason about actions, real-life problems require detailed knowledge elicitation, engineering, and management. A systematic design process in which Knowledge and Requirements Engineering tools play a fundamental role is necessary in such applications. One of the main challenges in such design process, and consequently in the study of Knowledge Engineer

APA, Harvard, Vancouver, ISO, and other styles

49

Alexiou, Athanasios, Stylianos Chatzichronis, Asma Perveen, Abdul Hafeez, and Ghulam Md Ashraf. "Algorithmic and Stochastic Representations of Gene Regulatory Networks and Protein-Protein Interactions." Current Topics in Medicinal Chemistry 19, no. 6 (2019): 413–25. http://dx.doi.org/10.2174/1568026619666190311125256.

Full text

Abstract:

Background:Latest studies reveal the importance of Protein-Protein interactions on physiologic functions and biological structures. Several stochastic and algorithmic methods have been published until now, for the modeling of the complex nature of the biological systems.Objective:Biological Networks computational modeling is still a challenging task. The formulation of the complex cellular interactions is a research field of great interest. In this review paper, several computational methods for the modeling of GRN and PPI are presented analytically.Methods:Several well-known GRN and PPI model

APA, Harvard, Vancouver, ISO, and other styles

50

Ibrahim, Prof Dr Dogan. "Message from Editor." Global Journal of Computer Sciences: Theory and Research 8, no. 1 (2018): I. http://dx.doi.org/10.18844/gjcs.v8i1.3284.

Full text

Abstract:

Message from Editor Dear Readers,  It is a great honor for us to publish Volume 8, Issue 1 of Global Journal of Computer Sciences: Theory and Research.   Global Journal of Computer Sciences: Theory and Research (GJCS) is an international online journal for scientists and professionals involved in all aspects of computer sciences. This journal serves as an international platform that fosters theoretical and practical issues and new applications for all scientists and professionals from the field of computer sciences including original research and innovative applic

APA, Harvard, Vancouver, ISO, and other styles

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!