scispace - formally typeset
Search or ask a question
Author

Wu Xianghu

Bio: Wu Xianghu is an academic researcher. The author has contributed to research in topics: Process architecture & Stochastic Petri net. The author has an hindex of 1, co-authored 1 publications receiving 4 citations.

Papers
More filters
Journal ArticleDOI
TL;DR: A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced and it is shown how to extend High Level Petri nets (HLPN) with time, actions and interrupt mechanism to create the compact and comprehensive models for distributed embedded real-time systems.
Abstract: Many extensions of Petri nets have been proposed to model the behaviors and time relations of embedded system, yet these models are all based on some assumptions about the behaviors of embedded systems. Especially they all do not have the actual ability to model interrupt mechanism of embedded system. A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced in this study. It shows how to extend High Level Petri Nets (HLPN) with time, actions and interrupt mechanism. Interruptible subnets corresponding to different interruptible resources are introduced to model the behaviors and time relations of distributed embedded real-time systems. Each interruptible subnet realizes interrupt mechanism by an Interrupt Switch Transition and a set of Resuming Transitions. We give an informal description of this new model and show how this model be formally defined. A transform rule presented shows that each subnet corresponding to an interruptible resource in EHLTPN can be transformed into a behaviorally equivalent subnet of HLTPNAT with priority. This model makes it possible to create the compact and comprehensive models for distributed embedded real-time systems.

4 citations


Cited by
More filters
Journal ArticleDOI
TL;DR: In this article, a precise definition of enterprise systems engineering (ESE) is proposed, recognising it as an independent discipline and putting forth a new theoretical foundation to create or change enterprise systems.
Abstract: This paper proposes a precise definition of Enterprise Systems Engineering (ESE), recognising it as an independent discipline and putting forth a new theoretical foundation to create or change enterprise systems. This paper proposes and demonstrates an approach to formulate and validate definitions grounded in the philosophy of science and product development theory, which starts with a set of specifications and uses the synthesis technique for defining. Using the proposed approach a comparative analysis of different definitions of the same subject was performed and the results shed light on how attempts to define a field of study contribute to differentiate it from or confound it with other fields.

9 citations

Proceedings ArticleDOI
17 Dec 2010
TL;DR: A hybrid intelligent control system model which combines high-level time Petri net (HLTPN) and Reinforcement Learning (RL) is proposed and it is used to model a guide dog robot system which system environment is constructed using radio-frequency identification (RFID).
Abstract: A hybrid intelligent control system model which combines high-level time Petri net (HLTPN) and Reinforcement Learning (RL) is proposed. In this model, the control system is modeled by HLTPN and system state last time is presented as transitions delay time. For optimizing the transition delay time through learning, a value item is appended to delay time of transition for recording the reward from environment and this value is learned using Q-learning — a kind of RL. Because delay time of transition is continuous, two RL algorithms in continuous space methods are used in Petri Net learning process. Finally, for the purpose of certification of the effectiveness of our proposed system, it is used to model a guide dog robot system which system environment is constructed using radio-frequency identification (RFID). The result of the experiment shows the proposed method is useful and effective.

7 citations

Book ChapterDOI
29 Aug 2012
TL;DR: Fuzzy Petri net (FPN) combined Petri nets approach with fuzzy theory is a powerful modeling tool for fuzzy production rules-based knowledge systems but it is lack of learning mechanism that is the significant weakness while modeling uncertain knowledge systems.
Abstract: Petri nets are excellent networks which have great characteristics of combining a welldefined mathematical theory with a graphical representation of the dynamic behavior of systems. The theoretical aspect of Petri nets allows precise modeling and analysis of system behavior, at the same time, the graphical representation of Petri nets enable visualization of state changes of the modeled system [32]. Therefore, Petri nets are recognized as one of the most adequate and sound tool for description and analysis of concurrent, asynchronous and distributed dynamical system. However, the traditional Petri nets do not have learning capability. Therefore, all the parameters which describe the characteristics of the system need to be set individually and empirically when the dynamic system is modeled. Fuzzy Petri net (FPN) combined Petri nets approach with fuzzy theory is a powerful modeling tool for fuzzy production rules-based knowledge systems. However, it is lack of learning mechanism. That is the significant weakness while modeling uncertain knowledge systems.

5 citations

Book ChapterDOI
01 Jan 2013
TL;DR: This method well combines the characteristics of specialist grading and FPN such as utility and briefness, and the result of safety assessment provides reasonable warranty for constituting corresponding safety control strategy.
Abstract: To assess the safety of equipment software effectively, we established the index system of software safety assessment based on life cycle of software, proposed an assessment method based on the fuzzy Petri nets, used fuzzy Petri nets to model the fuzziness and uncertainty of the system and assessed the safety of equipment software based on fuzzy reasoning algorithm. This method well combines the characteristics of specialist grading and FPN such as utility and briefness, and the result of safety assessment provides reasonable warranty for constituting corresponding safety control strategy.