Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets

2007 ◽  
Vol 37 (5) ◽  
pp. 643-654 ◽  
Author(s):  
Yu Yue Du ◽  
Chang Jun Jiang ◽  
Meng Chu Zhou
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Cooperative Systems ◽  
Modeling And Analysis

scholarly journals The Equivalency between Logic Petri Workflow Nets and Workflow Nets

2015 ◽  
Vol 2015 ◽  
pp. 1-7
Author(s):  
Jing Wang ◽  
ShuXia Yu ◽  
YuYue Du
Keyword(s):  
Data Mining ◽  
Electronic Commerce ◽  
Petri Nets ◽  
Business Process ◽  
Process Mining ◽  
Batch Processing ◽  
Cooperative Systems ◽  
Modeling And Analysis ◽  
Workflow Nets

Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented.

scholarly journals Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets

2019 ◽  
Vol 18 (4) ◽  
pp. 1-24 ◽  
Author(s):  
G. Desirena-López ◽  
A. Ramírez-Treviño ◽  
J. L. Briz ◽  
C. R. Vázquez ◽  
D. Gómez-Gutiérrez
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Real Time Scheduling ◽  
Time Scheduling ◽  
Continuous Petri Nets

MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS

2012 ◽  
Vol 23 (04) ◽  
pp. 831-851 ◽  
Author(s):  
GUOQIANG LI ◽  
XIAOJUAN CAI ◽  
SHOJI YUEN
Keyword(s):  
Real Time ◽  
Timed Automata ◽  
Expressive Power ◽  
Behavioral Model ◽  
Parallel Composition ◽  
Real Time Systems ◽  
Modeling And Analysis ◽  
Compositional System ◽  
Time Systems ◽  
Timed Automaton

Timed automata are commonly recognized as a formal behavioral model for real-time systems. For compositional system design, parallel composition of timed automata as proposed by Larsen et al. [22] is useful. Although parallel composition provides a general method for system construction, in the low level behavior, components often behave sequentially by passing control via communication. This paper proposes a behavioral model, named controller automata, to combine timed automata by focusing on the control passing between components. In a controller automaton, to each state a timed automaton is assigned. A timed automaton at a state may be preempted by the control passing to another state by a global labeled transition. A controller automaton properly extends the expressive power because of the stack, but this can make the reachability problem undecidable. Given a strict partial order over states, we show that this problem can be avoided and a controller automaton can be faithfully translated into a timed automaton.

Application of Fuzzy Petri Nets in Hydraulic Pump Fault Diagnosis

2014 ◽  
Vol 1008-1009 ◽  
pp. 1176-1179
Author(s):  
Hai Dong ◽  
Heng Bao Xin
Keyword(s):  
Fault Diagnosis ◽  
Petri Nets ◽  
Hydraulic Pump ◽  
Modeling And Analysis ◽  
Matrix Operations ◽  
Knowledge Reasoning ◽  
Fuzzy Production Rules ◽  
The Matrix ◽  
Fuzzy Petri Nets ◽  
Definition Of

In this paper, an approach of fuzzy Petri nets (FPN) is proposed to simulate the fault spreading and diagnosis of hydraulic pump. First, the fuzzy production rules and the definition of FPN were briefly introduced. Then, its knowledge reasoning process and the matrix operations based on an algorithm were conducted, which makes full use of its parallel reasoning ability and makes it simpler and easier to implement. Finally, a case of hydraulic pump fault diagnosis with FPN was presented in detail, for illustrating the interest of the proposed modeling and analysis algorithm.

Sign in / Sign up

Export Citation Format

Share Document