Reduction and Refinement by Algebraic Operations for Petri Net Transformation

Li, Jun; Zhou, MengChu; Duan, Xianzhong

doi:10.1109/tsmca.2012.2186440

Cited by 34 publications

(7 citation statements)

References 64 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As an efficient tool for modelling and analysis, Petri net has developed in a rapid momentum in recent years, though it does not apply to many domains due to its pure theoretical nature [35, 36]. A fuzzy Petri net is of broad significance when used to describe and analyse lots of parallel and concurrent behaviours in physical systems and even social systems as it is closer to human thinking and cognitive styles.…”

Section: Fuzzy Information Granules Reasoningmentioning

confidence: 99%

Fuzzification of attribute information granules and its formal reasoning model

Zhou

Feng

Chang

et al. 2017

CAAI Transactions on Intelligence Technology

View full text Add to dashboard Cite

The model of attribute information granule based on the method of attribute theory and the problem of fuzzification of attribute information granules are discussed. The concept of information granule given by Zadeh can be explained with an attribute and its qualitative mapping operator. Finally, this study also discusses the reasoning of granulation form of attribute fuzzification information which is based on the fuzzy Petri net, with the good formalisation structure of fuzzy Petri net, as well as its asynchronous, concurrency, uncertainty, and other characteristics which is similar to those of human cognitive activities, enabling the fuzzy Petri net to express the basic characteristics of a cognitive system in the form of computing attribute granules. The results of this study can provide a reference for the establishment of the granular logic model in the uncertain problems and a new interpretation framework for revealing the inherent laws of knowledge uncertainty's change with knowledge granularity, and also provides another new possible approach to the establishment of the machine learning model of fuzzy Petri net. 2 Attribute information granules 2.1 Basic concepts of attribute computing Conceptually, the attribute is the characteristic expression of a thing and a quantity to describe the feature or nation of an object. Describing an object in a language closer to the natural language,

show abstract

Section: Fuzzy Information Granules Reasoningmentioning

confidence: 99%

Fuzzification of attribute information granules and its formal reasoning model

Zhou

Feng

Chang

et al. 2017

CAAI Transactions on Intelligence Technology

View full text Add to dashboard Cite

show abstract

“…The train is approaching p 2 The train is just before the gate p 3 The train is crossing the gate p 4 The train has passed the gate p 5 A message channel for informing to the control system that the train is approaching p 6 The control system is in wait p 7 The control system has received a message and prepares to send a signal to the control machine of the gate p 8 A message channel for ordering the gate to low down p 9 A message channel to inform the control system that the train has passed the gate p 10 The control system has received a message and prepares to send a signal to the control machine of the gate p 11 A message channel for ordering the gate to lift up p 12 A message channel to inform the control system that the control machine of the gate has failed p 13 The control system has received a message from the control machine of the gate and prepares to send a signal to the train p 14 A message channel for ordering the train to stop p 15 The gate is up p 16 The control machine has received an order and prepares to lower down the gate p 17 The gate is down p 18 The traffic light is green p 19 The traffic light is red p 20 A message channel to the traffic light p 21 The train has stopped p 22 An operator is in wait p 23 Another operator is in wait p 24 A message channel for switching the traffic light…”

Section: Placementioning

confidence: 99%

“…But due to the state‐explosion problem, it is costly when a Petri net is applied to a nontrivial real problem that limits its industrial applications. To study the properties of Petri nets, some reduction methods are proposed based on matching theory , refinement , constraints , and other reduction methods are used to solve the deadlock, liveness and synchronization problems in Petri nets . Program slicing is a technique to reduce a program to one containing only those parts of interest.…”

Section: Introductionmentioning

confidence: 99%

Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis

Yu¹,

Ding²,

Fang³

2014

Asian Journal of Control

View full text Add to dashboard Cite

Petri net models are frequently complex and difficult to understand and modify. Slicing technology is very useful in analyzing programs, and has been widely used in specification level for model reduction. So it is necessary to explore slicing methods for Petri nets. This paper proposes a dynamic slicing technique for Petri nets based on the structural dependency graph (SDG). Firstly, the SDG is constructed from the slicing criterion by a backtracking algorithm. Secondly, based on the SDG and a given marking, the dynamic slice can be acquired. As a case study, the proposed method is applied to a control system, and a simulation tool is developed for validating this method and automatically generating the slice. The algorithms can be useful in automatically identifying the parts of the model that affect a state of interest, and provide the basic technical support for alleviating the difficulty of formal verification and analysis.

show abstract

“…We propose to model the structured jobs with a class of timed Petri nets [10] referred to as structured nets and to abstract interesting structural and timing properties of the net in a tree, namely a structure tree. This abstraction is different from the existing works that aim to reduce the PN structure [28], [35], [44], [46]. The aim of PN reduction is to develop models of smaller size but preserving the precise representation of the allocation of the resources within the operations.…”

Section: Introductionmentioning

confidence: 97%