A Deadlock Prevention Policy for a Class of Multithreaded Software

Duo, Wenli; Jiang, Xiaoning; Karoui, Oussama; Guo, Xin; You, Dan; Wang, Shouguang; Ruan, Yuan

doi:10.1109/access.2020.2964312

Cited by 20 publications

(7 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri nets, which can be used to handle many problems [51], [52], are a modeling technique to construct knowledge-based systems in many fields [45]. They are useful for designing knowledge bases fuzzy reasoning of uncertain expert systems.…”

Section: Related Workmentioning

confidence: 99%

A Method for Knowledge Representation to Design Intelligent Problems Solver in Mathematics Based on Rela-Ops Model

et al. 2020

View full text Add to dashboard Cite

Knowledge-base is a fundamental platform in the architecture of an intelligent system. Relations and operators are popular knowledge in practice knowledge domains. In this paper, we propose a method to represent the model by combining these kinds of knowledge, called the Rela-Ops model. This model includes foundation components consisting of concepts, relations, operators, and inference rules. It is built based on ontology and object-oriented approaches. Besides the structure, each concept of the Rela-Ops model is a class of objects which also have behaviors to solve problems on their own. The processing of algorithms for solving problems on the Rela-Ops model combines the knowledge of relations and operators in the reasoning. Furthermore, we also propose a knowledge model for multiple knowledge domains, in which each sub-domain has the form as the Rela-Ops model. These representation methods have been applied to build knowledge bases of Intelligent Problems Solver (IPS) in mathematics. The knowledge base of 2D-Analytical Geometry in a high-school is built by using the Rela-Ops model, and the knowledge base of Linear Algebra in university is designed by using the model for multiple knowledge domains. The IPS system can automatically solve basic and advanced exercises in respective courses. The reasoning of their solutions is done in a step-by-step approach. It is similar to the solving method by humans. The solutions are also pedagogical and suitable for the learner's level and easy to be used by students studying 2D-Analytical Geometry in high-school and Linear Algebra in university. INDEX TERMS Knowledge representation, knowledge-based systems, intelligent problem-solver, knowledge engineering.

show abstract

Section: Related Workmentioning

confidence: 99%

A Method for Knowledge Representation to Design Intelligent Problems Solver in Mathematics Based on Rela-Ops Model

et al. 2020

View full text Add to dashboard Cite

show abstract

“…where the errorW = W * −Ŵ . Considering the equation 11, (18) and (19), the derivative of V can be deduced aṡ…”

Section: Control Designmentioning

confidence: 99%

A Petri Net Neural Network Robust Control for New Paste Backfill Process Model

Gao

2020

IEEE Access

View full text Add to dashboard Cite

In mining industries, the backfill becomes more and more important due to the environment protection concern. But most backfill investigations focus on the underground model and backfill materials. In this research, the paste backfill process based on the process control is investigated and a new paste backfill process model is proposed according to the Torricelli's law and Bernoulli principle. In order to deal with the unknown nonlinear function of the proposed backfill model, a Petri net(PN) structure is presented and a new Petri net neural network(PNNN) is introduced to approximate the unknown nonlinear function. Then, a robust controller is designed for the backfill process with PNNN and the closed loop stability is guaranteed by Lyapunov function candidate. The effectiveness of the proposed model with new PNNN and the robust controller are verified by simulation results. INDEX TERMS Paste backfill, petri net neural network, robust control, modeling, stability. XUEHUI GAO (Member, IEEE) received the M.S. degree in detection technology and automatic equipment from the School of the Information and Electrification Engineering, Shandong

show abstract

“…Petri Net has been proven to be a powerful simulation system that is applicable to various research fields such as work flow [33], performance evaluation [34], software design [35], food systems [36], web service discovery [12], emergency healthcare systems [13], property preservation [37], multithreaded software [38], and resource allocation systems [39] et al Some types of Petri Nets have been developed, including Timed Petri Net (TPN) [40], Colored Petri Net (CTPN) [41], Generalized Stochastic Petri Net (GSPN) [42], and so forth.…”

Section: B Modeling Tool: Petri Netmentioning

confidence: 99%

Improving Business Process Efficiency for Supply Chain Finance: Empirical Analysis and Optimization Based on Stochastic Petri Net

Bian

et al. 2020

IEEE Access

View full text Add to dashboard Cite

Efficient business process is important to the operations of supply chain finance (SCF). Many deficiencies exist in the processes of SCF such as complicated workflows and high time-consuming steps. However, few studies have paid attention to evaluate and improve the performance of SCF processes. We empirically model and investigate the processes of supply chain finance by constructing a Stochastic Petri Net based on the field survey of a focal firm. Two critical indices, place busy rate and transition utilization rate, are evaluated. The results demonstrate that some places (transitions) of the Petri Net have high busy rates (utilization rates). By integrating the Petri Net and dependency graph, several key places and transitions in the Petri Net of SCF processes are identified for further optimization. To improve the performance of SCF processes, we propose three optional adjusting schemes on the basis of information sharing perspective (for the first half of the Petri Net) and risk sharing perspective (for the second half of the Petri Net). The proposed optimization strategies have further been proven to reduce the place busy rates, shorten the process, and improve the process efficiency of the supply chain finance.

show abstract

A Deadlock Prevention Policy for a Class of Multithreaded Software

Cited by 20 publications

References 36 publications

A Method for Knowledge Representation to Design Intelligent Problems Solver in Mathematics Based on Rela-Ops Model

A Method for Knowledge Representation to Design Intelligent Problems Solver in Mathematics Based on Rela-Ops Model

A Petri Net Neural Network Robust Control for New Paste Backfill Process Model

Improving Business Process Efficiency for Supply Chain Finance: Empirical Analysis and Optimization Based on Stochastic Petri Net

Contact Info

Product

Resources

About